repos
25
ecosystems
8
languages
6
commits
709
─── top repos · by commits
─── repositories
25 totalThe symbolic execution engine powering the K Framework
Accelerates K Framework's Haskell backend
K Framework Tools 7.0
🚀 Execute transactions and manage blockchain state efficiently with Monad's custom EVM and advanced parallel scheduling.
K and Semantics Distribution Tool
K Semantics of the Ethereum Virtual Machine (EVM)
KORE to llvm translation
Python tools for the K Framework
K Semantics of the Ethereum Virtual Machine (EVM)
Set of common nix utilities used in our repositories
K plugin for IELE and KEVM
Wasm semantics for the Elrond/MultiversX blockchain network
Providing assorted versions of solidity compilers (solc).
A Formal Semantics of WebAssembly in K
The K semantics of IMP and associated tools
Cookiecutter template for Python projects
Simple and incomplete Excel file parser/writer
─── peer developers
─── ecosystems
─── languages
- Python8
- C++5
- Haskell3
- Nix3
- WebAssembly3
- KCL1
─── subscriber view
Unlock the full view of goodlyrottenapple
- · 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.