rntz/agda-lib
A standard library for Agda (mirror of BitBucket repository)
Public GitHub Catalog
Discovered Oct 1, 2026
rntz / mloid-abandoned
Extensible language based on monoid-parameterized parsing
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.
#21180817GitHub System ID
rntzOrganization / User
PublicVisibility
ActiveCatalog Status
More from rntz
rntz/libunwind
Public repository.
rntz/500lines
500 Lines or Less
rntz/quelle
datalog for queries and linear logic for state transitions