gallais/agDATA
Playing with advanced Data Types in Agda
Public GitHub Catalog
Discovered Oct 6, 2026
gallais / STRINaGda
Dependent Stringly-Typed Programming
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.
#33729909GitHub System ID
gallaisOrganization / User
PublicVisibility
ActiveCatalog Status
More from gallais
gallais/agdARGS
Dealing with Flags and Options
gallais/aGdaREP
Implementing grep in Agda
gallais/proof-search-ILLWiL
A self-contained repo for the ILLWiL paper