pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Public GitHub Catalog
Discovered Sep 30, 2026
pirapira / hashprice
A Yesod application that shows the current price of one hash in bitcoin mining.
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.
#18674902GitHub 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/bitcoin
Bitcoin Core integration/staging tree