formal-semantics topic

List formal-semantics repositories

cakeml

921
Stars
81
Forks
Watchers

CakeML: A Verified Implementation of ML

verified publisher icon CakeML

oxide

124
Stars
6
Forks
Watchers

The essence of Rust.

verified publisher icon aatxe

LangPro

110
Stars
10
Forks
Watchers

Tableau-based Theorem Prover for Natural Logic and Language

verified publisher icon kovvalsky

llvm-semantics

42
Stars
9
Forks
Watchers

Formal semantics of LLVM IR in K

verified publisher icon davidlazar

p4-semantics

18
Stars
2
Forks
Watchers

Formal Semantics of P4 in K

verified publisher icon kframework

vstyle

17
Stars
0
Forks
Watchers

A style guide for Coq

verified publisher icon appliedfm

dfs-tools

17
Stars
1
Forks
Watchers

Distributional Formal Semantics (DFS) tools

verified publisher icon hbrouwer