gitlab.inria.fr / skeletons 19 Repositories
Code related to Skeletal Semantics
skeletons/necro-coq
Apps to compile from skel to gallina for use with the Coq Proof Assistant
Last synced at: 8 months ago - Stars: 0 - Forks: 0
skeletons/necro
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Last synced at: 8 months ago - Stars: 4 - Forks: 0
skeletons/necro-man
Reference manuel for the Skel language and the necro ecosystem
Last synced at: 8 months ago - Stars: 0 - Forks: 0
skeletons/necro-debug
A generator of debugger for the Skel language for semantics description
Last synced at: 8 months ago - Stars: 1 - Forks: 0
skeletons/programming-skel
Supporting implementation for the Programming paper
Last synced at: 8 months ago - Stars: 0 - Forks: 0
skeletons/jskel
Javascript formalisation in Skeletal semantics
Last synced at: 8 months ago - Stars: 1 - Forks: 0
skeletons/ndam
Non Deterministic Abstract Machine Generation in Skeletal Semantics
Last synced at: 8 months ago - Stars: 0 - Forks: 0
skeletons/necro-dep
Generate a graph of dependencies between declared values in a Skel semantics
Last synced at: 8 months ago - Stars: 0 - Forks: 0