repos
24
ecosystems
10
languages
10
commits
436
─── top repos · by commits
─── repositories
24 totalRV-Monitor core system code
Code for improved rv-predict and installer
Runtime verification system for Java, using AspectJ for instrumentation.
Unified installer for all Runtime Verification Inc. products
Android runtime library for the RV-Monitor environment.
a principled blogging platform with modular data storage and parsing, starting on eth l1
Pythonic Smart Contract Language for the EVM
Vyper Compiler Audit competition
Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
Flash Boys 2; frontrun.me web code, data gathering, and public data.
Tokenize gas on Ethereum with 1GAS token
K Semantics of the Ethereum Virtual Machine (EVM)
K Framework Tools 7.0
K Semantics of the Ethereum Virtual Machine (EVM)
K Framework Tools 5.0
Forked KEVM for FVyper project
K Semantics of the Ethereum Virtual Machine (EVM)
Small set of tools allowing you to create secure encrypted tokens, which can be later exchanged with 3rd party systems or stored as a license files. The goal of this project is to play with JCA and learn its API.
Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
K Semantics of the Ethereum Virtual Machine (EVM)
AOP framework for LLVM
─── peer developers
─── ecosystems
─── languages
- Java8
- Python6
- Makefile2
- C1
- JavaScript1
- Haskell1
- MDX1
- Go1
- KCL1
- C++1
─── subscriber view
Unlock the full view of pdaian
- · 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.