formal-semantics

There are 33 repositories under formal-semantics topic.

CakeML/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML925 46 45981
aatxe/oxide
The essence of Rust.
Language:OCaml125 13 06
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
Language:Prolog109 8 510
davidlazar/llvm-semantics
Formal semantics of LLVM IR in K
Language:LLVM42 11 09
kframework/p4-semantics
Formal Semantics of P4 in K
Language:P418 8 02
appliedfm/vstyle
A style guide for Coq
17 1 80
delph-in/pydmrs
A library for manipulating DMRS structures
Language:Python13 12 246
hbrouwer/dfs-tools
Distributional Formal Semantics (DFS) tools
Language:Prolog12 4 11
yegor256/ppa
Practical Program Analysis (academic course) presented in Innopolis University in 2023
Language:TeX7 3 1
iafisher/montague
A natural language understanding system
Language:Python5 2 51
iamrecursion/absol
Formally correct DSLs
Language:Haskell5 1 01
jimtyhurst/generalized-quantifiers
Clojure implementation of Generalized Quantifiers for English sentences.
Language:Clojure4 4 01
hengxin/fspl
fspl: Formal Semantics of Programming Languages
3 2 0
iafisher/ling399
My senior thesis in linguistics
Language:TeX3 2 00
akothen/Hydride
A retargetable and extensible synthesis-based compiler for modern hardware architectures
Language:LLVM2 8 00
behnaaz/constreofy
Proof of concept
Language:Java2 1 90
sdasgup3/learning-K
K Learning Experience
Language:Makefile2 1 01
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.
Language:HTML1 1 01
itl-ed/igre
NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
Language:Python1 1 00
sdasgup3/PLDI19-ArtifactEvaluation
Artifact Evaluation, PLDI'19
1 3 0
TN1ck/MIU
First formal system of Gödel Escher Bach
Language:JavaScript1 2 0
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.
Language:HTML0 1 00
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.
Language:HTML0 1 00
loradd/gofer-labs
Formal Semantics Labs in Gofer
Language:JavaScript00
toda-lab/pystc
A simple but extensible Python module for sentences
Language:Python0 0 00
cister-labs/fvoca2223
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Language:HTML3 0
GeovanaS/SemanticaFormal
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
Language:Haskell2 0
glpaparelli/languages-compilers-interpreters
"Languages, Compilers, and Interpreters" Course Material
Language:Coq
JPedroSilveira/formal-semantics
Formal Semantics (INF-UFRGS)
Language:OCaml2 0
leesfy/msu_cpp_2021
Язык С++ ВМК 2 курс 1 поток
Language:C++1 0
nclarius/nclarius
1 0
sdasgup3/PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
2 0
SFB1102/a1-c3-dfs-tools
Distributional Formal Semantics (DFS) tools
Language:Prolog2 0

formal-semantics

CakeML/cakeml

aatxe/oxide

kovvalsky/LangPro

davidlazar/llvm-semantics

kframework/p4-semantics

appliedfm/vstyle

delph-in/pydmrs

hbrouwer/dfs-tools

yegor256/ppa

iafisher/montague

iamrecursion/absol

jimtyhurst/generalized-quantifiers

hengxin/fspl

iafisher/ling399

akothen/Hydride

behnaaz/constreofy

sdasgup3/learning-K

erwanM974/coq_hibou_label_equivalent_terms

itl-ed/igre

sdasgup3/PLDI19-ArtifactEvaluation

TN1ck/MIU

erwanM974/coq_hibou_label_semantics_equivalence

gabrieldesh/concurrent-lambda-calculus

loradd/gofer-labs

toda-lab/pystc

cister-labs/fvoca2223

GeovanaS/SemanticaFormal

glpaparelli/languages-compilers-interpreters

JPedroSilveira/formal-semantics

leesfy/msu_cpp_2021

nclarius/nclarius

sdasgup3/PLDI20-Artifact-Evaluation

SFB1102/a1-c3-dfs-tools