Stars
An agda library for developing synthetic category theory - and other synthetic mathematics
A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
📄 Awesome CV is LaTeX template for your outstanding job application
LaTeX package and annotated examples for annotating equations using TikZ.
Haskell to VHDL/Verilog/SystemVerilog compiler
A blueprint for a formalization of infinity-cosmos theory in Lean.
Our version of fluid simulation on haskell 😎
minikanren in golang with emphasis on concurrency
ClickHouse Native protocol driver in Haskell
Repository with code snippets that accompany episodes of The Haskell Unfolder
Generic il2cpp modding tool for Oculus Quest (1/2/3) apps.
LLVM implementation of OOSPLA'18 Reconciling High-level Optimizations and Low-level Code in LLVM
LLVM implementation of OOSPLA'18 Reconciling High-level Optimizations and Low-level Code in LLVM
Agda formalisation of second-order abstract syntax
Implementation of miniKanren in tagless-final style (WIP)
Hypertypes - generic programming for heterogeneous recursive types
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.