Beast code in Giters

Anne Baanen's starred repositories

Companion files for Logical Verification 2020–2021 at VU Amsterdam

Language:Lean9600

A bijection between Mersenne primes and even perfect numbers

Language:Lean100

A Lean layer for Spacemacs, based on the Agda layer

Language:Emacs Lisp100

Your self-hosted, globally interconnected microblogging community

Language:RubyAGPL-3.04687000

Article on using refinement calculus and algebraic effects for parsing

Language:TeX800

https://mkremins.itch.io/epitaph

Language:Clojure22100

A train simulator made with pygame. It kinda works!

Language:PythonGPL-2.0300

Localizations for BuildCraft