formal-semantics
There are 33 repositories under formal-semantics topic.
CakeML/cakeml
CakeML: A Verified Implementation of ML
aatxe/oxide
The essence of Rust.
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
davidlazar/llvm-semantics
Formal semantics of LLVM IR in K
kframework/p4-semantics
Formal Semantics of P4 in K
hbrouwer/dfs-tools
Distributional Formal Semantics (DFS) tools
appliedfm/vstyle
A style guide for Coq
delph-in/pydmrs
A library for manipulating DMRS structures
akothen/Hydride
A retargetable and extensible synthesis-based compiler for modern hardware architectures
yegor256/ppa
Practical Program Analysis (academic course) presented in Innopolis University in 2023
iafisher/montague
A natural language understanding system
iamrecursion/absol
Formally correct DSLs
jimtyhurst/generalized-quantifiers
Clojure implementation of Generalized Quantifiers for English sentences.
hengxin/fspl
fspl: Formal Semantics of Programming Languages
iafisher/ling399
My senior thesis in linguistics
behnaaz/constreofy
Proof of concept
sdasgup3/learning-K
K Learning Experience
erwanM974/coq_hibou_label_equivalent_terms
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.
itl-ed/igre
NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
sdasgup3/PLDI19-ArtifactEvaluation
Artifact Evaluation, PLDI'19
TN1ck/MIU
First formal system of Gödel Escher Bach
cister-labs/fvoca2223
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
erwanM974/coq_hibou_label_semantics_equivalence
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
gabrieldesh/concurrent-lambda-calculus
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
leesfy/msu_cpp_2021
Язык С++ ВМК 2 курс 1 поток
loradd/gofer-labs
Formal Semantics Labs in Gofer
toda-lab/pystc
A simple but extensible Python module for sentences
GeovanaS/SemanticaFormal
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
glpaparelli/languages-compilers-interpreters
"Languages, Compilers, and Interpreters" Course Material
JPedroSilveira/formal-semantics
Formal Semantics (INF-UFRGS)
sdasgup3/PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
SFB1102/a1-c3-dfs-tools
Distributional Formal Semantics (DFS) tools