agda-attic/agda-assoc-free
An implementation of "Associativity for Free"
Public GitHub Catalog
Discovered Sep 24, 2026
agda-attic / agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
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.
#1801275GitHub System ID
agda-atticOrganization / User
PublicVisibility
ActiveCatalog Status
More from agda-attic
agda-attic/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda-attic/agda-frp-ltl
An implementation of Functional Reactive Programming
agda-attic/agda-text-xml
Simple bindings for parsing, processing and serializing XML