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: 8rem; margin-bottom: 8rem"/>

## 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/>
