pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Public GitHub Catalog
Discovered Oct 20, 2026
pirapira / yellowpaper
The "Yellow Paper": Ethereum's formal specification
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.
#39795283GitHub 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.