frenchy64/agda
Experiments in Agda
Clojure(Script) library for declarative data description and validation
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.
Boston Clojure Group presentation