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
1.8 KiB
1.8 KiB
Also see what's a "betalupi?"
Pages
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
-
Tectonic, the LaTeX engine that is pleasant to use. Experimental, but fully functional. {{color(--grey, "[co-maintainer]")}}
- {{color(--grey, "Status: ")}} {{color(--yellow, "Abandoned. ")}} Typst is better.
- {{color(--grey, "Main repo: ")}} :fa-github: Tectonic
- {{color(--grey, "Bundle tools: ")}} :fa-github: tectonic-texlive-bundles
-
Daisy, a pretty TUI scientific calculator. {{color(--grey, "[author]")}}
- {{color(--grey, "Status: ")}} {{color(--orange, "Done. ")}} Used this to learn Rust. Numbat is better.
- {{color(--grey, "Repository: ")}} :fa-github: rm-dr/daisy
- {{color(--grey, "Website: ")}} :fa-link: daisy.betalupi.com (WASM demo)
- 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
- {{color(--grey, "PyPi: ")}} :fa-python: lamb-engine