repos
15
ecosystems
4
languages
6
commits
167
─── top repos · by commits
─── repositories
15 totalruntimeverification/yearn-v3-term-vault
Create Yearn V3 "Tokenized Strategies" using Foundry
★ 0
55 commits
Solidity→ Runtime Verification
golemfoundation/octant-v2-core
Octant is a novel platform for experiments in participatory public goods funding, centered on Golem's native ERC-20 token, GLM.
★ 10
24 commits
HTML→ Ethereum
★ 113
18 commits
Python→ Ethereum
★ 0
16 commits
runtimeverification/publications
Publications of Runtime Verification, Inc.
★ 94
12 commits
runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 586
9 commits
KCL→ Ethereum
runtimeverification/kontrol-cheatcodes
Cheatcodes library for your symbolic Kontrol tests
★ 10
7 commits
Solidity→ Runtime Verification
wormhole-foundation/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 1
7 commits
runtimeverification/k
K Framework Tools 7.0
★ 569
4 commits
Python→ Runtime Verification
runtimeverification/simbolik-vscode
VSCode extension for debugging Solidity using Simbolik API server
★ 49
4 commits
TypeScript→ Runtime Verification
runtimeverification/pyk
Python tools for the K Framework
★ 13
4 commits
Python→ Runtime Verification
Zivoe/zivoe-vault
ERC4626 Vaults for Zivoe
★ 0
3 commits
Solidity→ Ethereum
runtimeverification/lifinance-contracts
LI.FI Smart Contracts
★ 0
2 commits
Solidity→ Runtime Verification
runtimeverification/_audits_ethereum-optimism_pausability
Optimism is Ethereum, scaled.
★ 0
1 commits
─── peer developers
─── ecosystems
─── languages
- Solidity4
- Python4
- HTML2
- KCL1
- TypeScript1
- Go1
─── subscriber view
Unlock the full view of lisandrasilva
- · 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.