GeezerVison is showing github.com — K framework
Popular repositories
Loading
Semantics of C in K
C
333
46
Semantics of x86-64 in K
Assembly
181
16
The K tools (deprecated, see README)
Java
147
61
KJS: A Complete Formal Semantics of JavaScript
JavaScript
106
19
Formal semantics of LLVM IR in K
LLVM
53
11
KVyper: Semantics of Vyper in K
Python
41
9
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Assembly
Boogie
C
Csound
Haskell
Java
JavaScript
LLVM
Makefile
OCaml
P4
Python
Rust
Scala
Shell
SMT
Standard ML
WebAssembly
Sort
Showing 10 of 36 repositories
kframework/homebrew-k's past year of commit activity
3
1
0
0
Updated Nov 14, 2023
kframework/boogie-semantics's past year of commit activity
Boogie
8
1
3
1
Updated Nov 2, 2023
kframework/ewasm-semantics's past year of commit activity
WebAssembly
1
2
0
4
Updated Mar 23, 2023
kframework/rust-metamath's past year of commit activity
Rust
5
1
0
0
Updated Sep 16, 2022
kframework/c-semantics's past year of commit activity
kframework/.github's past year of commit activity
0
0
0
0
Updated Jan 25, 2022
kframework/java-semantics's past year of commit activity
Java
24
9
11
0
Updated Sep 15, 2021
kframework/p4-semantics's past year of commit activity
P4
20
3
0
0
Updated May 21, 2021
kframework/matching-logic-prover's past year of commit activity
SMT
16
3
14
10
Updated Apr 16, 2021
k-in-k
Public
Defining the semantics of K in K
kframework/k-in-k's past year of commit activity
Python
16
4
0
2
Updated May 6, 2020
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.