repos
20
ecosystems
9
languages
8
commits
3,305
─── top repos · by commits
─── repositories
20 totalK Framework Tools 7.0
K Framework Tools 5.0
The symbolic execution engine powering the K Framework
ERC20 in K
Semantics of Virtual Machine for IELE prototype blockchain
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Forked KEVM for FVyper project
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Smart contracts which are formally verified
Smart contracts which are formally verified
NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
Code for improved rv-predict and installer
Runtime verification system for Java, using AspectJ for instrumentation.
RV-Monitor core system code
─── peer developers
─── ecosystems
─── languages
- Makefile6
- Java4
- Python3
- Haskell1
- HTML1
- KCL1
- Solidity1
- C1
─── subscriber view
Unlock the full view of grosu
- · 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.