repos
138
ecosystems
51
languages
14
commits
2,876
─── top repos · by commits
─── repositories
138 totalK framework proof explorer & smart contract specification format
EVM contract system developer multitool
K framework proof explorer & smart contract specification format
formal verification of multicollateral dai in the K framework
formal verification of multicollateral dai in the K framework
DappleScript - A simple ethereum interaction language.
Dapple utility functions
A Decentral package manager for dApp development based on ethereum and ipfs
Symbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Wallet side ethereum virtual machine
Dapp, Seth, Hevm, and more
DappHub Explorer - chrome extension
Dapple packages module
EVM written in celf
Ethereum Package Manager http://ethpm.github.io/ethpm-spec/
ds-chief mkr proxy voting with a hot/cold wallet
Protocol token proxy voting with a hot/cold wallet for the VoteQuorum.
verification of the oracle security module
Ethereum L1 Protocol Stack and EVM in TypeScript
Directly run EVM bytecode (using Parity technology)
The Ethereum VM implemented in Javascript
Linear Logic references
Monorepo for the Ethereum VM TypeScript Implementation
Monorepo for the Ethereum VM TypeScript Implementation
Monorepo for the Ethereum VM TypeScript Implementation
The Ethereum VM implemented in Javascript
a contract calling another one, who knew this could be usefull ¯\_(ツ)_/¯
Monorepo for the Ethereum VM TypeScript Implementation
Monorepo for the Ethereum VM TypeScript Implementation
fork of ethereumjs to support a modified EVM for optimization strategies
The Ethereum VM implemented in JavaScript
A Fork of the Monorepo for the Ethereum VM TypeScript Implementation
K Semantics of the Ethereum Virtual Machine (EVM)
A JavaScript library for composing Ethereum provider objects using middleware modules
Project is in active development and has been moved to the EthereumJS VM monorepo.
erc20 interface definition container package
Pluggable smart contract system for storing revisionable MIX content items.
K Framework Tools 7.0
A JavaScript library for composing Ethereum provider objects using middleware modules.
zero client provider engine
A JavaScript library for composing Ethereum provider objects using middleware modules
K Semantics of the Ethereum Virtual Machine (EVM)
Encoding, decoding and validation of Ethereum's Account schema
A JavaScript library for composing Ethereum provider objects using middleware modules.
A JavaScript library for composing Ethereum provider objects using middleware modules.
Motivational Paper on Linear Logic as a blockchain programming language
proving that one contract can call another one, wow
K Semantics of the Ethereum Virtual Machine (EVM)
zero client provider engine
A JavaScript library for composing Ethereum provider objects using middleware modules.
zero client provider engine
zero client provider engine
A JavaScript library for composing Ethereum provider objects using middleware modules
A JavaScript library for composing Ethereum provider objects using middleware modules
A JavaScript library for composing Ethereum provider objects using middleware modules.
A JavaScript library for composing Ethereum provider objects using middleware modules
erc20 interface definition container package
A JavaScript library for composing Ethereum provider objects using middleware modules.
zero client provider engine
Collection of comprehensive TypeScript libraries for Interaction with the Ethereum JSON RPC API and utility functions.
A JS thin wrapper around the Direct Route API
Dai Stablecoin System
Composable building blocks for Ethereum contracts
A javascript interface for interacting with the PlatON network
Ethereum Compatible JavaScript API
Ethereum JavaScript API
Conflux JavaScript API, under active development
Ethereum JavaScript API
XinFin JavaScript API
[Optimism] The Optimistic Ethereumjs VM
Ethereum JavaScript API
Ethereum JavaScript API
NewChain JavaScript API
forked from ethereum/web3.js, please checkout feature/sipc branch
Shyft's extension of the Ethereum VM, forked from consensus's ethereumjs-vm code.
The Ethereum VM implemented in Javascript
Ethereum JavaScript API
A javascript interface for interacting with the PlatON network
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
The Ethereum VM implemented in Javascript
TrueChan JavaScript API base on ETH ver.
Ethereum JavaScript API
The Ethereum VM implemented in Javascript
The Ethereum VM implemented in Javascript
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API modified for halo platform.
Expanse and Ethereum Compatible JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
The Ethereum VM implemented in Javascript
Ethereum JavaScript API
Dai Stablecoin System
Dai Stablecoin System
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Electroneum SmartChain JavaScript API
The Ethereum VM implemented in Javascript
Ethereum JavaScript API
XinFin JavaScript API
Ethereum JavaScript API
Dai Stablecoin System
Curio StableCoin System
The Ethereum VM implemented in Javascript
Ethereum JavaScript API
Dai Stablecoin System
Ethereum JavaScript API
Collection of comprehensive TypeScript libraries for Interaction with the Ethereum JSON RPC API and utility functions.
─── peer developers
─── ecosystems
─── languages
- JavaScript67
- TypeScript17
- Solidity9
- GCC Machine Description4
- Haskell3
- Makefile3
- SMT2
- Python2
- TeX2
- Nix2
─── subscriber view
Unlock the full view of mhhf
- · 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.