kframework/javacard-semantics
K semantics for the javacard language
Public GitHub Catalog
Discovered Sep 28, 2026
kframework / ocaml-semantics
Formal semantics of 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.
#12721910GitHub System ID
kframeworkOrganization / User
PublicVisibility
ActiveCatalog Status
More from kframework
kframework/modelink-semantics
modelink-semantics
kframework/jvm-semantics
Semantics of the Java Virtual Machine.
kframework/cink-semantics
Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.