36 Repositories
c-semantics
301
k-legacy
146
X86-64-semantics
130
javascript-semantics
85
llvm-semantics
42
vyper-semantics
41
solidity-semantics
29
haskell-core-semantics
20
p4-semantics
18
java-semantics
17
matching-logic-prover
14
semantic-approaches
11
k-in-k
11
kweb
5
jvm-semantics
5
boogie-semantics
5
orc-semantics
4
kale
4
kat
3
homebrew-k
3
ocaml-semantics
2
cink-semantics
2
aadl-semantics
2
rust-metamath
1
llvm-semantics-old
1
alk-semantics
1
tidy
0
parser
0
modelink-semantics
0
kore-parser-tests
0
klab
0
k-project-template
0
javacard-semantics
0
ewasm-semantics
0
eei-semantics
0
.github
0