Stars
An open, technical and introductory book for the Zig programming language 📚📖
Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
The financial transactions database designed for mission critical safety and performance.
A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
A simple 16bit system-on-chip (SoC) consisting of a CPU and GPU
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Tutorial on neural theorem proving
[COLM 2024] A Survey on Deep Learning for Theorem Proving
This is the official github repo of Think-on-Graph (ICLR 2024). If you are interested in our work or willing to join our research team in Shenzhen, please feel free to contact us by email (xuchengj…
Diffusion on syntax trees for program synthesis
Nixpkgs overlay with Firefox binary builds for macOS
Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]
My Personal Nix, NixOS and Nix-Darwin System Configuration Flake
Set up a LUKS-encrypted filesystem for Yubikey in NixOS
Universally Unique Lexicographically Sortable Identifier (ULID) in Go
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
I wanted to make a nicer sticker for Munihac, then things got out of hand.
being an operating system for typechecking processes
Haptic input knob with software-defined endstops and virtual detents
Example on how to nixify a project [maintainer=@Rizary]
Beat your package expressions into a shape
A template for Nix based C++ project setup.