|
|
|
|
@@ -2,44 +2,48 @@ 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
|
|
|
|
|
- [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/)
|
|
|
|
|
|
|
|
|
|
- **TetrOS**, bare-metal tetris on 32-bit x86. _{{color(--grey, "[author]")}}_
|
|
|
|
|
- {{color(--grey, "Status: ")}} {{color(--green, "Done.")}}
|
|
|
|
|
- {{color(--grey, "Repository: ")}} [:fa-github: tetros](https://git.betalupi.com/Mark/tetros)
|
|
|
|
|
- {{color(--grey, "Quick demo:")}}
|
|
|
|
|
`wget https://git.betalupi.com/api/packages/Mark/generic/tetros/latest/disk.img && qemu-system-i386 -d cpu_reset -no-reboot -smp 1 -m 2048 -machine q35 -net none -serial stdio -fda "disk.img"`
|
|
|
|
|
|
|
|
|
|
<br/>
|
|
|
|
|
|
|
|
|
|
- **RedoxOS**, a general-purpose, microkernel-based operating system written in Rust. _{{color(--grey, "[enthusiast]")}}_
|
|
|
|
|
|
|
|
|
|
- **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)
|
|
|
|
|
|
|
|
|
|
- {{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]")}}_
|
|
|
|
|
|
|
|
|
|
- **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)
|
|
|
|
|
- {{color(--grey, "Status: ")}} {{color(--cyan, "Abandoned. ")}} LaTeX is legacy, use [Typst](https://github.com/typst/typst).
|
|
|
|
|
- {{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/>
|
|
|
|
|
|
|
|
|
|
- **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)
|
|
|
|
|
- **Daisy**, a pretty TUI scientific calculator. _{{color(--grey, "[author]")}}_
|
|
|
|
|
|
|
|
|
|
- {{color(--grey, "Status: ")}} {{color(--green, "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(--green, "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/>
|
|
|
|
|
|