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

Projects

• Tectonic, a modern LaTeX engine [maintainer]
  • Main repo: Tectonic
  • Bundle tools: tectonic-texlive-bundles
• Daisy, a TUI scientific calculator [author]
  • Website: daisy.betalupi.com
  • Repository: rm-dr/daisy
• Lamb, a lambda calculus engine [author]
  • Repository: rm-dr/lamb
  • PyPi: lamb-engine