pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Public GitHub Catalog
Discovered Sep 24, 2026
pirapira / haskell-twitter
Public repository discovered through GitHub real-time crawl.
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.
#589796GitHub 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.