frenchy64/agda
Experiments in Agda
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Experiments in Agda
Public repository.
Template for a C project that uses Valgrind, a small unit testing framework and a small debugging framework.
Clojure(Script) library for declarative data description and validation