36 Repositories
c-semantics
310
X86-64-semantics
146
k-legacy
146
javascript-semantics
88
llvm-semantics
45
vyper-semantics
41
solidity-semantics
30
p4-semantics
20
haskell-core-semantics
20
java-semantics
19
matching-logic-prover
15
semantic-approaches
11
k-in-k
11
jvm-semantics
6
kweb
5
boogie-semantics
5
orc-semantics
4
kale
4
rust-metamath
3
kat
3
homebrew-k
3
ocaml-semantics
2
cink-semantics
2
aadl-semantics
2
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