- ghengin: WIP: Haskell Game Engine
- hegg: Fast equality saturation in Haskell
- linear-core: My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
- ghc-linear-synthesis-plugin: A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing
- programmer-calculator Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
- gameboyemulator: A gameboy emulator from scratch
- chip8-emulator-for-gameboy: A chip8 emulator made in gameboy assembly for the gameboy
- operating-system: An operating system from scratch
- c-compiler: A C to LLVM compiler in C
- .vim: minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
- cob-hs: A haskell library for CoB
- haskell-swift: Haskell x Swift interoperability libraries and tools
- haskell-x-swift-project-steps: A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog posts
- mermaid-hs: A Haskell library for parsing mermaid diagrams
- reference-counting: WIP: Reference counting with linear types
- ghc-obsidian: Generate an Obsidian Vault from the Notes in GHC Haskell