repos
17
ecosystems
4
languages
7
commits
304
─── top repos · by commits
─── repositories
17 totalFormal verification of the Algorand consensus protocol
A probabilistic rewriting model of Randao-based RNG schemes
Static Analyzer for Teal
Formalization of the Beacon Chain Phase 0 Specification in K
Publications of Runtime Verification, Inc.
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
K Framework Tools 7.0
Plugin files for editing K files
Algorand's official implementation in Go.
Coq definitions and lemmas for verification of Casper
Algorand Foundation's Developer Retreat fork of go-algorand.
Algorand's official implementation in Go.
Algorand's official implementation in Go.
Algorand's official implementation in Go.
─── peer developers
─── languages
- TeX4
- Python4
- Go3
- Coq2
- HTML1
- Java1
- C1
─── subscriber view
Unlock the full view of malturki
- · 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.