repos
36
ecosystems
7
languages
13
commits
2,551
─── top repos · by commits
─── repositories
36 total🚀 Execute transactions and manage blockchain state efficiently with Monad's custom EVM and advanced parallel scheduling.
K Framework Tools 7.0
KORE to llvm translation
Code supporting K tutorial session at PLDI 2023.
GNU MPFR Java Bindings
The symbolic execution engine powering the K Framework
KORE to llvm translation
K Semantics of the Ethereum Virtual Machine (EVM)
A Formal Semantics of WebAssembly in K
Postmodern immutable and persistent data structures for C++
K Semantics of the Ethereum Virtual Machine (EVM)
Code supporting K-as-a-library blog post
Nix packaging for the MultiversX SDK tools
K plugin for IELE and KEVM
🚀 Implement Monad's consensus client and JsonRpc server for efficient transaction collection and blockchain state updates.
Python tools for the K Framework
Plugin files for editing K files
Set of common nix utilities used in our repositories
A K semantics of Tezos' Michelson language.
Semantics of Virtual Machine for IELE prototype blockchain
The K Programming Language Tutorial
A python implementation of the web assembly interpreter
Wasm semantics for the Elrond/MultiversX blockchain network
Docker image builds for the RISC-V GNU toolchain
Upload a Nix asset on releases automatically
Repository for publishing Z3 images automatically
Cookiecutter template for Python projects
─── peer developers
─── ecosystems
─── languages
- Python8
- C++6
- Nix4
- Rust3
- WebAssembly3
- Java2
- Haskell2
- Dockerfile2
- Shell1
- KCL1
─── subscriber view
Unlock the full view of Baltoli
- · 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.