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

• TetrOS, bare-metal tetris on 32-bit x86. [author]
  • Status: Done.
  • 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"

• 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. 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)

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