pirapira/refulangcore
Refu language
Public GitHub Catalog
Discovered Sep 25, 2026
pirapira / taocp_in_coq
taocp_in_coq
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.
#4920021GitHub System ID
pirapiraOrganization / User
PublicVisibility
ActiveCatalog Status
More from pirapira
pirapira/frontier-guide
Public repository.
pirapira/yellowpaper
The "Yellow Paper": Ethereum's formal specification
pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.