fgarnier/c2s
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
fgarnier / SSL_lib
This library implements the Simple Separation Logic abstract domain.
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.
#8157900GitHub System ID
fgarnierOrganization / User
PublicVisibility
ActiveCatalog Status
More from fgarnier
fgarnier/flatac
Public repository.
fgarnier/NTSLib
http://richmodels.epfl.ch/ntscomp
fgarnier/Ocaml-nts
This library is an implementation of the Numerical transition library, in the OCaml Language.