pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Public GitHub Catalog
Discovered Sep 26, 2026
pirapira / mtgox
Ruby wrapper for the Mt. Gox Trade API
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.
#6053071GitHub 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.