36 Repositories
c-semantics
323
X86-64-semantics
167
k-legacy
147
javascript-semantics
103
llvm-semantics
47
vyper-semantics
41
solidity-semantics
29
p4-semantics
20
haskell-core-semantics
20
java-semantics
19
matching-logic-prover
15
semantic-approaches
12
k-in-k
12
boogie-semantics
7
jvm-semantics
6
rust-metamath
5
kweb
5
orc-semantics
4
kale
4
kat
3
homebrew-k
3
ocaml-semantics
2
cink-semantics
2
aadl-semantics
2
llvm-semantics-old
1
ewasm-semantics
1
eei-semantics
1
alk-semantics
1
tidy
0
parser
0
modelink-semantics
0
kore-parser-tests
0
klab
0
k-project-template
0
javacard-semantics
0
.github
0