kframework/javacard-semantics
K semantics for the javacard language
Public GitHub Catalog
Discovered Sep 28, 2026
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).
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.
#13385145GitHub 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.