nicolasmarti/holzero-lib
a little lib for holzero
Public GitHub Catalog
Discovered Sep 26, 2026
nicolasmarti / mylibc
building a minimal certified library using frama-c
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.
#7785287GitHub System ID
nicolasmartiOrganization / User
PublicVisibility
ActiveCatalog Status
More from nicolasmarti
nicolasmarti/why3theories
why3 projects: combinatorial and sequential logic elements (from nand2tetris), some redefined theories (set, map), seplog theories
nicolasmarti/hol-in-coq
Simple shallow embedding of a HOL logic, LCF style in coq
nicolasmarti/gc
A non-copying garbage collector (from ICFP2011)