repos
103
ecosystems
36
languages
17
commits
1,974
─── top repos · by commits
─── repositories
103 totalK Framework Tools 7.0
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Python tools for the K Framework
K Semantics of the Ethereum Virtual Machine (EVM)
formal verification of multicollateral dai in the K framework
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
A Formal Semantics of WebAssembly in K
The symbolic execution engine powering the K Framework
Verification of Polkadot WASM code
K plugin for IELE and KEVM
Semantics of Virtual Machine for IELE prototype blockchain
Formalization of the Beacon Chain Phase 0 Specification in K
KORE to llvm translation
Foundry blog posts' executable demos
A K semantics of Tezos' Michelson language.
K and Semantics Distribution Tool
K Framework Tools 5.0
Repository to submit finished milestones
Smart contracts which are formally verified
Repository to submit finished milestones
Repository to submit finished milestones
KMIR Rust Library
Accelerates K Framework's Haskell backend
Repository for publishing Z3 images automatically
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Symbolic Execution Benchmarks for Ethereum Smart Contracts
Code for improved rv-predict and installer
Fast Ethereum RPC client for testing and development
Wasm semantics for the Elrond/MultiversX blockchain network
Symbolic Execution Benchmarks for Ethereum Smart Contracts
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
Publications of Runtime Verification, Inc.
K semantics for Solana
Plugin files for editing K files
Fork of the Solidity Compiler for compiling Solidity to IELE
The K semantics of IMP and associated tools
Web3 Foundation General Grants Program
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
Web3 Foundation General Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Public repo to coordinate the collaboration of teams working in the web3 space.
Web3 Foundation General Grants Program
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
The Ethereum VM implemented in Javascript
Core code for Ganache
NPM Package Repo for KEVM
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Repository to submit finished milestones
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
Public repo to coordinate the collaboration of teams working in the web3 space.
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Public repo to coordinate the collaboration of teams working in the web3 space.
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
Web3 Foundation General Grants Program
Public repo to coordinate the collaboration of teams working in the web3 space.
Web3 Foundation Grants Program
Polkadot Open Source Grants Bounty - Applications
Repository to submit finished milestones
Web3 Foundation Grants Program
Web3 Foundation General Grants Program
Web3 Foundation General Grants Program
Public repo to coordinate the collaboration of teams working in the web3 space.
Public repo to coordinate the collaboration of teams working in the web3 space.
Web3 Foundation Grants Program
─── peer developers
─── ecosystems
─── languages
- JavaScript26
- Python11
- Makefile4
- WebAssembly4
- Solidity4
- Haskell3
- C++3
- HTML3
- TeX2
- Java2
─── subscriber view
Unlock the full view of ehildenb
- · 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.