rntz/agda-lib
A standard library for Agda (mirror of BitBucket repository)
Public GitHub Catalog
Discovered Sep 25, 2026
rntz / liberis
lisp bytecode vm
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.
#3527210GitHub 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