repos
34
ecosystems
11
languages
12
commits
547
Top repos · by commits
Repositories
34 totalK Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Framework Tools 7.0
K Semantics of the Ethereum Virtual Machine (EVM)
KORE to llvm translation
K semantics for Solana
Semantics of Virtual Machine for IELE prototype blockchain
K plugin for IELE and KEVM
The K Programming Language Tutorial
Firedancer is Jump Crypto's Solana validator software.
Firedancer is Jump Crypto's Solana validator software.
Firedancer is Jump Crypto's Solana validator software.
Firedancer is Jump Crypto's Solana consensus node implementation.
The Ethereum VM implemented in Javascript
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
A Formal Semantics of WebAssembly in K
Fast Ethereum RPC client for testing and development
Python tools for the K Framework
Efficient and versatile WebAssembly interpreter for embedded systems.
Efficient and versatile WebAssembly interpreter for embedded systems.
WebAssembly (Wasm) interpreter with runtime_tracing capabilities.
Fork of the Solidity Compiler for compiling Solidity to IELE
KORE to llvm translation
KMIR Rust Library
Firedancer is Jump Crypto's Solana consensus node implementation.
Peer developers
Ecosystems
Languages
- Python8
- Rust4
- C4
- C++3
- JavaScript2
- WebAssembly2
- KCL1
- Makefile1
- Haskell1
- HTML1