Anne Baanen (@Vierkantor)
github

Vierkantor

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 603,566 (Top 21 %)
  • Followers 30
  • Following 14
  • Registered over 12 years ago
  • Most used languages
    Python
         16.7 %
    Haskell
         16.7 %
    Lean     16.7 %
    Emacs Lisp
         16.7 %
    Assembly
         16.7 %
    TeX
         16.7 %

Top repositories

1

refinement-parsers

Article on using refinement calculus and algebraic effects for parsing
TeX
8
star
2

Lisp-Assembly

A minimalist Lisp implementation in x86_64 assembly
Assembly
6
star
3

Traiectum

A train simulator made with pygame. It kinda works!
Python
3
star
4

StomTester

Een script om je practica ร  la Domjudge te testen
Haskell
2
star
5

spacemacs-lean

A Lean layer for Spacemacs, based on the Agda layer
Emacs Lisp
1
star
6

mersenne-primes

A bijection between Mersenne primes and even perfect numbers
Lean
1
star