langfield's repositories
Cheat.lean
A field guide to the operators and keywords of the Lean 4 functional programming language.
alacritty
A cross-platform, OpenGL terminal emulator.
Language:RustApache-2.0000
fn.py
Missing features of fp in Python -- active fork of kachayev/fn.py
Language:PythonNOASSERTION000
git-playground
A playground for Git experiments.
000
gsse-anki
Collaborative Anki deck for the General Surgical Sciences Exam
Language:HTML000
Language:HaskellMIT000
karelze-anki-decks
This is a collection of flashcard decks created for classes at Karlsruhe Institute of Technology.
000
lean.nvim
neovim support for the Lean theorem prover
Language:LuaMIT000
papinder
Tinder for arXiv papers.
Language:Python000
schonfinkel
An introduction to parser combinators.
AGPL-3.0000
the-varieties-of-natural-experience
Why are there so many syntax variations for inductive type definitions in Lean 4?
Language:Lean000