• 📚 I'm a PhD student in CS at Yale.
• 🎓 I graduated from Vanderbilt in 2023 with a bachelors in CS and honors math.
• 🥰 I'm currently obsessed with tree-sitter, eBPF, build systems, and foundation models.
• 🌱 I'm currently learning about machine learning, distributed systems and cybersecurity.
• 🙌 I'm looking to collaborate on formal verification efforts and developer tooling for new and existing languages.
• 🤔 I'm looking for help with organizing and developing mathematical theories in Coq.
• 💬 Ask me about blockchain (Ethereum, Bitcoin), mathematics, type systems and compilers for functional and imperative languages.
• 📫 How to reach me: Send me an email, or reach me on Matrix (siraben)!

Assembly, C, C++, Coq, Dart, Haskell, Kotlin, Mathematica, Python, Rust, Scheme, Solidity, Typescript

Ethereum, Emacs, Nix, iOS, Linux, macOS, PyTorch

type theory, category theory, logic, abstract algebra, topology, measure theory

PinnedLoading

1. zkeme80zkeme80Public

   An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.

   Scheme 235 5

2. mini-haskellmini-haskellPublic

   A self-hosting mini Haskell compiler with a mini C runtime.

   Haskell 74 5

3. nix-community/nixpkgs-lintnix-community/nixpkgs-lintPublic

   A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]

   Rust 140 7

4. nix-remarkablenix-remarkablePublic

   Forked frompl-semiotics/nix-remarkable

   Nix expressions for the reMarkable tablet leveraging the company's toolchain.

   Nix 50 5

5. r216-forthr216-forthPublic

   A Forth implementation for the R216K8B Powder Toy computer.

   Assembly 27 2

6. r5rs-denotr5rs-denotPublic

   A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

   Haskell 21 2