Dandandan/provabe-compiler
Verified compiler in Agda
Public GitHub Catalog
Discovered Oct 14, 2026
Dandandan / TPT-2014
Theory of Programming and Types, academic year 2014-2015
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.
#37587093GitHub System ID
DandandanOrganization / User
PublicVisibility
ActiveCatalog Status
More from Dandandan
Dandandan/agda-stdlib
The Agda standard library
Dandandan/image
Encoding and decoding images in Rust
Dandandan/piston
A user friendly game engine written in Rust