repos
28
ecosystems
5
languages
9
commits
190
─── top repos · by commits
─── repositories
28 totalK Semantics of the Ethereum Virtual Machine (EVM)
K Framework Tools 7.0
Python tools for the K Framework
An open-source library of property-based tests for most common Ethereum token standards.
Publications of Runtime Verification, Inc.
Cheatcodes library for your symbolic Kontrol tests
K plugin for IELE and KEVM
CI Hosting Symbolic Execution for Ethereum-Optimism
Create Yearn V3 "Tokenized Strategies" using Foundry
This is the main repository we will be using for the tutorial sessions during the [21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023)](https://atva-conference.org/2023/). The tutorial sessions will be held on 24 October 2023.
A repo to showcase web3 hacks
A website listing all the best FV companies in the Crypto space.
K semantics for Solana
Solady formal verification with Kontrol
Equivalence proofs of EVM models
Repository for publishing Z3 images automatically
─── peer developers
─── ecosystems
─── languages
- Solidity13
- Python3
- Dockerfile2
- KCL1
- HTML1
- C++1
- TypeScript1
- Rust1
- Lean1
─── subscriber view
Unlock the full view of palinatolmach
- · 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.