Stars
A collection of formalized statements of conjectures in Lean.
❤️ 1000+ Hand-Crafted Go Examples, Exercises, and Quizzes. 🚀 Learn Go by fixing 1000+ tiny programs.
A List of Foundational Haskell Papers
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Dependently Typed Lambda Calculus in Haskell
Word Problem solver for One Relator Groups using Magnus' Method
Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
An interpreter for learning and exploring pure λ-calculus
Building group theory from scratch in Lean
Spotify for the terminal written in Rust 🚀