scslab/ifc-proofs
Mechanized proofs for a general approach to dynamic IFC
Public GitHub Catalog
Discovered Sep 27, 2026
scslab / lio-tutorial
Haskell and LIO tutorial
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.
#10851384GitHub System ID
scslabOrganization / User
PublicVisibility
ActiveCatalog Status
More from scslab
scslab/masstree-beta
Beta release of Masstree.
scslab/LambdaS5
Semantics for ES5
scslab/mpvc.js
A port of the Hails MPVC to Node