A Web Application for Learning OCaml

Learn computer graphics by writing GPU shaders!

Resources for learning and using recursion schemes.

Koka language compiler and interpreter

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Geoff Boeing's academic CV in LaTeX

A book about category theory

Collection of Summer 2025 tech internships!

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

A portable self-bootstrapping C compiler

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

List of resources for learning Category Theory

List of papers studying machine learning through the lens of category theory

Collection of Summer 2025 tech internships!

Blurring the distinction between the HTML document and spatial canvas.

A curated list of awesome Category Theory resources.

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

elfshaker stores binary objects efficiently

Upspin: A framework for naming everyone's everything.

A Git-compatible VCS that is both simple and powerful

Academic CVs that you can emulate

The engine of the RenderCV App

Haskell bindings for LLVM

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Algebraic data types for C99

YOCaml is a static site generator, mostly written in OCaml

Source code for an awesome book about self-hosting.

Build android apps without any java, entirely in C and Make

LaTeX code for some of my lecture notes