CakeML: A Verified Implementation of ML
-
Updated
May 24, 2024 - Standard ML
CakeML: A Verified Implementation of ML
Tableau-based Theorem Prover for Natural Logic and Language
Formal semantics of LLVM IR in K
A library for manipulating DMRS structures
Formal Semantics of P4 in K
Clojure implementation of Generalized Quantifiers for English sentences.
Formally correct DSLs
Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
Distributional Formal Semantics (DFS) tools
K Learning Experience
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Язык С++ ВМК 2 курс 1 поток
Artifact Evaluation, PLDI'20
A simple but extensible Python module for sentences
A retargetable and extensible synthesis-based compiler for modern hardware architectures
Add a description, image, and links to the formal-semantics topic page so that developers can more easily learn about it.
To associate your repository with the formal-semantics topic, visit your repo's landing page and select "manage topics."