langfield
Though my soul may set in darkness, it will rise in perfect light; I have loved the stars too fondly to be fearful of the night.
Pinned Repositories
A2_Wortliste_Goethe
A2 Wortliste Goethe (vocab, sentences, audio, translation)
AnKing-v11
AnKing Overhaul Step 1/Step 2 Version 11 Update
asta
Shape annotations for numpy arrays and pytorch/tensorflow tensors.
Cheat.lean
A field guide to the operators and keywords of the Lean 4 functional programming language.
hask
haskell problems
jesper
Programming and Proving in Agda
ki
version control for Anki collections
mergesort
Mergesort (and an implicit proof that it terminates) in Lean 4.
nflow
Brutally simple command line program for managing plaintext hierarchical checklists.
horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
langfield's Repositories
langfield/ki
version control for Anki collections
langfield/Cheat.lean
A field guide to the operators and keywords of the Lean 4 functional programming language.
langfield/mergesort
Mergesort (and an implicit proof that it terminates) in Lean 4.
langfield/zuzu
A searchable leanprover zulip.
langfield/glacier
A time-delay lock for *nix read/write/execute permissions.
langfield/hask
haskell problems
langfield/jesper
Programming and Proving in Agda
langfield/aa
langfield/alacritty
A cross-platform, OpenGL terminal emulator.
langfield/amm
Formal verification of an automated market maker.
langfield/constant-folding-optimization
constant-folding-uocfng
langfield/corne-nice-view-nano-v2-zmk-config
langfield/erlang
problems in erlang.
langfield/fn.py
Missing features of fp in Python -- active fork of kachayev/fn.py
langfield/fpil
Solutions to exercises from David Thrane Christiansen's Functional Programming in Lean.
langfield/git-playground
A playground for Git experiments.
langfield/gsse-anki
Collaborative Anki deck for the General Surgical Sciences Exam
langfield/haskell-stack-trace-plugin
langfield/karelze-anki-decks
This is a collection of flashcard decks created for classes at Karlsruhe Institute of Technology.
langfield/lean.nvim
neovim support for the Lean theorem prover
langfield/minutiae
langfield/neighbors
2d array neighbors in Haskell
langfield/papinder
Tinder for arXiv papers.
langfield/plotplotplot
langfield/ppq
A WIP SMT2 query pretty printer.
langfield/schonfinkel
An introduction to parser combinators.
langfield/sierra
The basics of Cairo's Sierra intermediate representation language.
langfield/syntax-highlighting
langfield/twosum
Two sum in Haskell
langfield/yatrash
Written by charmoniumq