There are 4 repositories under formal-semantics topic.
Formal semantics of LLVM IR in K
Formal Semantics of P4 in K
Formally correct DSLs
Clojure implementation of Generalized Quantifiers for English sentences.
K Learning Experience
Proof of concept
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.
Artifact Evaluation, PLDI'19
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
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.
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
Artifact Evaluation, PLDI'20
Distributional Formal Semantics (DFS) tools