repos
19
ecosystems
8
languages
8
commits
271
Top repos · by commits
Repositories
19 totalFork of the Solidity Compiler for compiling Solidity to IELE
Fork of the Runtime Verification Solidity to IELE Compiler, to target MultiversX IELE. Not currently in use.
KORE to llvm translation
Semantics of Virtual Machine for IELE prototype blockchain
KORE to llvm translation
Firedancer is Jump Crypto's Solana validator software.
Firedancer is Jump Crypto's Solana validator software.
Firedancer is Jump Crypto's Solana validator software.
K Framework Tools 7.0
K plugin for IELE and KEVM
Firedancer is Jump Crypto's Solana consensus node implementation.
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Framework Tools 5.0
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Peer developers
Ecosystems
Languages
- C++4
- C3
- Python2
- Java2
- HTML1
- KCL1
- Haskell1
- Makefile1