phile314/agda
Agda is a dependently typed programming language / interactive theorem prover.
Public GitHub Catalog
Discovered Oct 3, 2026
phile314 / tasty-golden
OUTDATED FORK - see tasty-silver instead
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.
#27542512GitHub System ID
phile314Organization / User
PublicVisibility
ActiveCatalog Status
More from phile314
phile314/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
phile314/process
Library for dealing with system processes
phile314/cabal2nix
Generate Nix build instructions from a Cabal file