repos
22
ecosystems
4
languages
8
commits
319
─── top repos · by commits
─── repositories
22 totalVSCode extension for debugging Solidity using Simbolik API server
K Framework Tools 7.0
🦄 🦄 Core smart contracts of Uniswap V2
K Semantics of the Ethereum Virtual Machine (EVM)
Publications of Runtime Verification, Inc.
The symbolic execution engine powering the K Framework
Formal verification experiments with unbounded loops
Python tools for the K Framework
K Semantics of the Ethereum Virtual Machine (EVM)
Source code verification service for Ethereum smart contracts
KORE to llvm translation
A K semantics of Tezos' Michelson language.
Github Pull Request Management Runtime Verification
Decentralized Solidity contract source code verification service
Backend & frontend for contract verification using Sourcify
─── peer developers
─── ecosystems
─── languages
- TypeScript5
- Solidity5
- Python5
- KCL1
- HTML1
- Haskell1
- C++1
- Makefile1
─── subscriber view
Unlock the full view of RaoulSchaffranek
- · 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.