• Software Engineer @ Praeses

    Enthusiastic about open source, NixOS, Rust, and type-system shenanigans.

    I'm a core maintainer of basalt.rs.

  • Joined on 2026-04-19
basic lambda calculus evaluator and debugger
Updated 2026-05-17 00:30:34 -05:00
brainf interpreter in haskell
Updated 2026-05-02 21:43:16 -05:00