Anne Baanen's repositories
refinement-parsers
Article on using refinement calculus and algebraic effects for parsing
Lisp-Assembly
A minimalist Lisp implementation in x86_64 assembly
StomTester
Een script om je practica à la Domjudge te testen
mersenne-primes
A bijection between Mersenne primes and even perfect numbers
spacemacs-lean
A Lean layer for Spacemacs, based on the Agda layer
bonaparticle
A LaTeX magazine class. Still a work in progress
emoji-mart
One component to pick them all 👊🏼
bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
CAP-Game-2024
New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/
ec-tate-lean
Separate project from mathib4
file-roller
Archive Manager
language-php
A Haskell module for parsing and pretty-printing PHP. Because obviously.
lean
Lean Theorem Prover
lean-game-abridged
Abridged version of the Set Theory and Number Theory games
lean-mode
Emacs mode for Lean
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mastodon
A glitchy but lovable microblogging server
mathlib
Lean mathematical components library
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
PyServ
The Python code that hosts vierkantor.com
PySwail
An interpreted language I'm (perpetually) making for fun
roboring
webring for robots
the-mlab
A wiki for collaborative work on totally legitimate "category theory"
ttf-twemoji-color
Twitter emoji in an AUR.
vscode-lean
An extension for VS Code which provides support for the Lean language.