kerzol/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Public GitHub Catalog
Discovered Sep 27, 2026
kerzol / wikiprep
New wikiprep, we use MediaWiki::DumpFile instead of old Parse::MediaWikiDump. WATCH OUT: not guaranteed to work with new (>2011) wikipedia dumps!!!
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9009279GitHub System ID
kerzolOrganization / User
PublicVisibility
ActiveCatalog Status
More from kerzol
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.