gitlab.inria.fr / skeletons 19 Dépôts
Code related to Skeletal Semantics
skeletons/necro-coq
Apps to compile from skel to gallina for use with the Coq Proof Assistant
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/necro
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
dernière synchronisation: il y a 7 mois - étoiles: 4 - forks: 0
skeletons/necro-man
Reference manuel for the Skel language and the necro ecosystem
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/abstract-interpreter-generator
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/pyskel
Python Semantics in Skel
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/necro-debug
A generator of debugger for the Skel language for semantics description
dernière synchronisation: il y a 7 mois - étoiles: 1 - forks: 0
skeletons/programming-skel
Supporting implementation for the Programming paper
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/jskel
Javascript formalisation in Skeletal semantics
dernière synchronisation: il y a 7 mois - étoiles: 1 - forks: 0
skeletons/ndam
Non Deterministic Abstract Machine Generation in Skeletal Semantics
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/necro-dep
Generate a graph of dependencies between declared values in a Skel semantics
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
skeletons/Coq
Coq files related to skeletons
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0