kerzol/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Developer Profile
kerzol
Discovered public repositories for kerzol in the GitHub catalog.
kerzol/untrusted
A meta-JavaScript adventure game by Alex Nisnevich and Greg Shuflin.
kerzol/term2048
2048 in your terminal
kerzol/marked
A markdown parser and compiler. Built for speed.
kerzol/markdown-mathjax
Live markdown editor based on MathJax and Marked
kerzol/nwd
Normalized Google^W Wikipedia Distance
kerzol/wikiprep
New wikiprep, we use MediaWiki::DumpFile instead of old Parse::MediaWikiDump. WATCH OUT: not guaranteed to work with new (>2011) wikipedia dumps!!!
kerzol/javascript-bignum
Scheme arithmetic library for JavaScript