repos
62
ecosystems
18
languages
10
commits
2,692
─── top repos · by commits
─── repositories
62 totalK Framework Tools 7.0
K Framework Tools 5.0
Smart contracts which are formally verified
A symbolic testing tool for EVM smart contracts
NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
Smart contracts which are formally verified
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
The symbolic execution engine powering the K Framework
Forked KEVM for FVyper project
Data structures used by Morpho Optimizer.
Publications of Runtime Verification, Inc.
Pythonic Smart Contract Language for the EVM
Vyper Compiler Audit competition
Morpho variable rate market
Morpho Blue Protocol
ERC-4626 wrappers for common yield-generating platforms
OpenZeppelin Contracts is a library for secure smart contract development.
A protocol for private on-chain voting, implemented in Solidity.
A Formal Semantics of WebAssembly in K
Coq definitions and lemmas for verification of Casper
A K semantics of Tezos' Michelson language.
Ethereum Proof-of-Stake Consensus Specifications
State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
Formally verifying consistency between Solmate and Solady using Halmos
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
Batch Deposit and Service Fee collection Smart Contract for ETH 2.0
Ethereum 2.0 Specifications
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
Ethereum Proof-of-Stake Consensus Specifications
Ethereum Proof-of-Stake Consensus Specifications
Batch Deposit and Service Fee collection Smart Contract for ETH 2.0
OpenZeppelin Contracts fork to add ERC5169
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
(Ivan's Fork) Ethereum Consensus Specs
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
OpenZeppelin Contracts is a library for secure smart contract development.
─── peer developers
─── ecosystems
─── languages
- Python16
- Solidity16
- Makefile6
- JavaScript3
- Java2
- TeX2
- KCL1
- Haskell1
- HTML1
- WebAssembly1
─── subscriber view
Unlock the full view of daejunpark
- · 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.