formal-semantics

There are 5 repositories under formal-semantics topic.

CakeML / cakeml
CakeML: A Verified Implementation of ML
programming-language formal-verification formal-semantics compiler theorem-proving hol sml
Language:Standard ML 1090
aatxe / oxide
The essence of Rust.
formal-semantics rust semantics
Language:OCaml 128
kovvalsky / LangPro
Tableau-based Theorem Prover for Natural Logic and Language
nli natural-language-inference semantic-tableau theorem-prover theorem-proving natural-logic natural-tableau lambda-logical-form natural-language-processing formal-semantics prolog
Language:Prolog 119
davidlazar / llvm-semantics
Formal semantics of LLVM IR in K
formal-semantics formal-methods llvm-ir llvm plt research k-framework
Language:LLVM 45
Zeta611 / react-trace
⚛ React-tRace is a React hooks reference interpreter based on a formal semantics
formal-semantics interpreter react
Language:OCaml 33
kframework / p4-semantics
Formal Semantics of P4 in K
formal-semantics p4 p4language verification interpreter symbolic-execution model-checking translation-validation
Language:P4 20
appliedfm / vstyle
A style guide for Coq
coq style-guide appliedfm formal-verification formal-methods formal-specification formal-proofs formal-semantics formal-mathematics verification software-engineering proof-assistant proof dependent-types c haskell ocaml
18
hbrouwer / dfs-tools
Distributional Formal Semantics (DFS) tools
formal-semantics distributional-semantics vector-space-model meaning-representation
Language:Prolog 18
delph-in / pydmrs
A library for manipulating DMRS structures
nlp natural-language-processing computational-linguistics semantics dependency-graph linguistics formal-semantics natural-language delph-in hpsg mrs dmrs python minimal-recursion-semantics
Language:Python 14
akothen / Hydride
A retargetable and extensible synthesis-based compiler for modern hardware architectures
compiler-construction compilers program-synthesis isa-semantics retargetability dsl halide high-performance llvm mlir instruction-selection vectorization automlir formal-semantics formal-verification
Language:LLVM 13
yegor256 / ppa
Practical Program Analysis (academic course) presented in Innopolis University in 2023
course latex formal-grammar formal-semantics program-analysis programming-language lecture-notes
Language:TeX 8
iamrecursion / absol
Formally correct DSLs
dissertation domain-specific-language dsl formal-semantics formal-verification haskell metacompiler metalanguage
Language:Haskell 5
iafisher / ling399
My senior thesis in linguistics
linguistics formal-semantics
Language:TeX 4
iafisher / montague
A natural language understanding system
nlp formal-semantics
Language:Python 4
jimtyhurst / generalized-quantifiers
Clojure implementation of Generalized Quantifiers for English sentences.
clojure generalized-quantifiers nlp formal-semantics semantics
Language:Clojure 4
hengxin / fspl
fspl: Formal Semantics of Programming Languages
programming-language formal-semantics
3
behnaaz / constreofy
Proof of concept
constraint-satisfaction reduce-algebra graphviz reo-coordination-language formal-semantics formal-methods automata
Language:Java 2
sdasgup3 / learning-K
K Learning Experience
kframework k semantics formal-semantics language-semantics k-framework rewrite-rules
Language:Makefile 2
sdasgup3 / PLDI19-ArtifactEvaluation
Artifact Evaluation, PLDI'19
instruction-semantics formal-semantics x86-64 program-verification isa-specification
2
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.
distributed-systems proof formal-semantics coq-formalization formal-languages sequence-diagrams interaction-models
Language:HTML 1
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.
proof coq-formalization sequence-diagrams interaction-models formal-semantics formal-languages distributed-systems
Language:HTML 1
itl-ed / igre
NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
few-shot-classifcation formal-semantics logic semantics weighted-model-counting
Language:Python 1
leesfy / msu_cpp_2021
Язык С++ ВМК 2 курс 1 поток
cpp formal-grammar formal-grammars formal-semantics cmc templates
Language:C++ 1
sdasgup3 / PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
llvm-ir mcsema symbolic-execution-engine symbolic-summaries verification-queries virtualbox x86-64 language-semantics reverse-engineering translation-validation validation compiler-optimization graph-matching formal-semantics verification-conditions detecting-bugs pldi evaluation reproducing-bugs
1
TN1ck / MIU
First formal system of Gödel Escher Bach
formal-semantics geb blog
Language:JavaScript 1
cister-labs / fvoca2223
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
formal-languages formal-logic formal-methods formal-semantics formal-specification hoare-logic sat smt
Language:HTML 0
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.
lambda-calculus session-types concurrent-programming linear-types programming-languages formal-semantics type-systems
Language:HTML 0
loradd / gofer-labs
Formal Semantics Labs in Gofer
formal-semantics gofer
Language:JavaScript 0
toda-lab / pystc
A simple but extensible Python module for sentences
logic linguistics pragmatics sentence formal-semantics natural-language-understanding
Language:Python 0
GeovanaS / SemanticaFormal
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
formal-semantics haskell semantica semantica-formal
Language:Haskell
glpaparelli / languages-compilers-interpreters
"Languages, Compilers, and Interpreters" Course Material
compilers coq formal-semantics interpreters lambda-calculus
Language:Coq
JPedroSilveira / formal-semantics
Formal Semantics (INF-UFRGS)
formal-semantics
Language:OCaml
nclarius / nclarius
kde krunner kwin linux logic plasma teaching window-management analytic-tableaux formal-semantics modal-logic model-generation moodle teaching-assistant teaching-tools kde-plasma
SFB1102 / a1-c3-dfs-tools
Distributional Formal Semantics (DFS) tools
distributional-semantics formal-semantics meaning-representation vector-space-model
Language:Prolog