pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Public GitHub Catalog
Discovered Sep 28, 2026
pirapira / exercism.io
Exercises with crowd-sourced code reviews. The gem repo is at http://github.com/kytrinyx/exercism
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.
#12992964GitHub System ID
pirapiraOrganization / User
PublicVisibility
ActiveCatalog Status
More from pirapira
pirapira/wiki
a repository just for wiki
pirapira/rust-by-example
Learn Rust with practical examples
pirapira/hashprice
A Yesod application that shows the current price of one hash in bitcoin mining.