repos
21
ecosystems
8
languages
10
commits
7,153
─── top repos · by commits
─── repositories
21 totalK Framework Tools 7.0
K Framework Tools 5.0
Code for improved rv-predict and installer
The symbolic execution engine powering the K Framework
RV-Monitor core system code
Benchmark of C/C++ programs exhibiting races.
An annotated Java API and a tool for generated documentation augmented with properties.
AOP framework for LLVM
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Plugin files for editing K files
Forked KEVM for FVyper project
A Formal Semantics of WebAssembly in K
Semantics of Virtual Machine for IELE prototype blockchain
MOP framework for LLVM
Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
─── peer developers
─── ecosystems
─── languages
- Java8
- Python2
- C++2
- Makefile2
- C1
- Haskell1
- Coq1
- KCL1
- WebAssembly1
- HTML1
─── subscriber view
Unlock the full view of traiansf
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.