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

• About: About this site
• Handouts: Math circle lessons I've written

Projects

• TetrOS, bare-metal tetris on 32-bit x86. [author]

  • Status: Done. Inspired by jdh.
  • Repository: tetros
  • 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"

• Beans, tui accounting. My Gnucash replacement. [author]

  • Status: Active.
  • Repository: beans

• Tectonic, the better LaTeX engine. [co-maintainer]

  • Status: Abandoned. LaTeX is legacy, use Typst.
  • 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)

Extras

• Lamb: a lambda calculus engine for a lesson I ran.
• Minimax: a game we came up with at the ORMC.
  • Also see symbolstrike.com by snxliang
• Pinbox: dead-simple self-hosted pin tracking.
• llmfs: training an llm from scratch, using Burn

Little libs

• Servable: a small Rust web framework (runs this site!)
• flactag: streaming FLAC manipulation
• centerpack: efficient approximate multivector search
• lazyjson: lazily computed templating + value extraction