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

Project Status Glossary

• Active: This is actively developed and maintained.
• Passive: This would be Active if a week had nine days.
• Dropped: This is incomplete. Need more time.
• Done: This is done. All goals have been accomplished.
  This does not mean "complete and high quality."
  Rather, it means I've done all I set out to do.

Projects

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

  • Status: Active.
  • Repository: redox-os.org

• Copper, the universal file processing & storage solution. Nowhere near done. [author]

  • Status: Passive.
  • Repository: rm-dr/copper

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

  • Status: Passive. 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