rm-dr
991eb92562
Some checks failed
CI / Check typos (push) Successful in 28s
CI / Check links (push) Failing after 31s
CI / Clippy (push) Successful in 1m2s
CI / Build and test (push) Successful in 1m21s
CI / Build container (push) Successful in 1m5s
CI / Deploy on waypoint (push) Successful in 44s
46 lines
1.8 KiB
Markdown
46 lines
1.8 KiB
Markdown
Also see [what's a "betalupi?"](/whats-a-betalupi)
|
|
|
|
## Pages
|
|
|
|
- [Handouts](/handouts): Math circle lessons I've written
|
|
- [Links](/links): Interesting parts of the internet
|
|
|
|
<hr style="margin-top: 5rem; margin-bottom: 5rem"/>
|
|
|
|
## Projects
|
|
|
|
- **RedoxOS**, a general-purpose, microkernel-based operating system written in Rust. _{{color(--grey, "[enthusiast]")}}_
|
|
|
|
- {{color(--grey, "Status: ")}} {{color(--yellow, "Passive.")}}
|
|
- {{color(--grey, "Website: ")}} [:fa-link: redox-os.org](https://www.redox-os.org/)
|
|
|
|
|
|
<br/>
|
|
|
|
|
|
- **Tectonic**, the LaTeX engine that is pleasant to use.
|
|
Experimental, but fully functional. _{{color(--grey, "[co-maintainer]")}}_
|
|
|
|
- {{color(--grey, "Status: ")}} {{color(--yellow, "Abandoned. ")}} [Typst](https://github.com/typst/typst) is better.
|
|
- {{color(--grey, "Main repo: ")}} [:fa-github: Tectonic](https://github.com/tectonic-typesetting/tectonic)
|
|
- {{color(--grey, "Bundle tools: ")}} [:fa-github: tectonic-texlive-bundles](https://github.com/tectonic-typesetting/tectonic-texlive-bundles)
|
|
|
|
|
|
<br/>
|
|
|
|
|
|
- **Daisy**, a pretty TUI scientific calculator. _{{color(--grey, "[author]")}}_
|
|
|
|
- {{color(--grey, "Status: ")}} {{color(--orange, "Done. ")}} Used this to learn Rust. [Numbat](https://numbat.dev) is better.
|
|
- {{color(--grey, "Repository: ")}} [:fa-github: rm-dr/daisy](https://github.com/rm-dr/daisy)
|
|
- {{color(--grey, "Website: ")}} [:fa-link: daisy.betalupi.com](https://daisy.betalupi.com) (WASM demo)
|
|
|
|
<br/>
|
|
|
|
- **Lamb**, a lambda calculus engine. _{{color(--grey, "[author] ")}}_
|
|
- {{color(--grey, "Status: ")}} {{color(--orange, "Done. ")}} Fun little project.
|
|
- {{color(--grey, "Repository: ")}} [:fa-github: rm-dr/lamb](https://github.com/rm-dr/lamb)
|
|
- {{color(--grey, "PyPi: ")}} [:fa-python: lamb-engine](https://pypi.org/project/lamb-engine)
|
|
|
|
<br/>
|