zayac/hera-mcst
Automatically exported from code.google.com/p/hera-mcst
Public GitHub Catalog
Discovered Sep 26, 2026
zayac / pipo
A primitive programming language aiming to simplify verification of applications written on C.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7673069GitHub System ID
zayacOrganization / User
PublicVisibility
ActiveCatalog Status
More from zayac
zayac/runningram
Automatically exported from code.google.com/p/runningram
zayac/transform-component
Public repository.
zayac/derive-terms
A tool for deriving MDL terms from C++ struct declatations implemented using Clang LibTooling library