About

Welcome, you've reached Mark's main page. Here you'll find links to various projects I've worked on.

• rm-dr
• git.betalupi.com

Also see what's a "betalupi?"

Pages

• Handouts: Math circle lessons I've written
• Links: Interesting parts of the internet

Projects

• RedoxOS, a general-purpose, microkernel-based operating system written in Rust. _[enthusiast]

  • Status: Passive.
  • Website: redox-os.org

• Tectonic, the LaTeX engine that is pleasant to use. Experimental, but fully functional. [co-maintainer]

  • Status: Abandoned. Typst is better.
  • Main repo: Tectonic
  • Bundle tools: tectonic-texlive-bundles

• Daisy, a pretty TUI scientific calculator. [author]

  • Status: Done. Used this to learn Rust. Numbat is better.
  • Repository: rm-dr/daisy
  • Website: daisy.betalupi.com (WASM demo)

• Lamb, a lambda calculus engine. [author]
  • Status: Done. Fun little project.
  • Repository: rm-dr/lamb
  • PyPi: lamb-engine