jtristan/CompCert-Toolkit
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
jtristan / ali
Ali: an interface for LLVM that represents LLVM assembly as an OCaml algebraic datatype and allows for analysis and transformations to be implement in OCaml.
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.
#1930421GitHub System ID
jtristanOrganization / User
PublicVisibility
ActiveCatalog Status
More from jtristan
jtristan/Safecode-SVA-Formalism
Public repository.
jtristan/CompCert-Extensions
Release of code written to experiment with formally verified translation validators for Compcert.