thinkpad20/simple-coq-classes
Some relatively simple and useful Haskell-style classes for Coq, and some instances for them.
Public GitHub Catalog
Discovered Sep 28, 2026
thinkpad20 / parsing-with-whitespace
Experimenting with whitespace-sensitive parsers.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#13430863GitHub System ID
thinkpad20Organization / User
PublicVisibility
ActiveCatalog Status
More from thinkpad20
thinkpad20/sublime-ur
Ur/web syntax definition for Sublime Text
thinkpad20/urweb
Unofficial clone of impredicative.com urweb repo
thinkpad20/sublimecoq
Sublime text mode for coq.