kframework/modelink-semantics
modelink-semantics
Public GitHub Catalog
Discovered Oct 1, 2026
kframework / javacard-semantics
K semantics for the javacard language
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.
#20451576GitHub System ID
kframeworkOrganization / User
PublicVisibility
ActiveCatalog Status
More from kframework
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.
kframework/alk-semantics
An executable algorithmic language. The algorithms are executed over abstract data types like arrays, structures, cons lists (viewed as abstractions of simple linked lists).