repos
37
ecosystems
6
languages
9
commits
953
─── top repos · by commits
─── repositories
37 totalImplementation of a Consensus Layer for the Ouroboros family of protocols
The symbolic execution engine powering the K Framework
Implementation of a Consensus Layer for the Ouroboros family of protocols
Accelerates K Framework's Haskell backend
The core component that is used to participate in a Cardano decentralised blockchain.
The core component that is used to participate in a Cardano decentralised blockchain.
K Framework Tools 7.0
The K semantics of IMP and associated tools
Cardano API
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
KES agent provides a solution for storing KES keys in-process, in order to allow them to be erased securely and enable forward security in the Cardano blockchain.
Python tools for the K Framework
Haskell libraries for file system simulation
Static Analyzer for Teal
The ledger implementation and specifications of the Cardano blockchain.
Publications of Runtime Verification, Inc.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
K Semantics of the Ethereum Virtual Machine (EVM)
EKG forwarding library
Metadata for Cardano's Haskell package repository
K and Semantics Distribution Tool
K Semantics of the Ethereum Virtual Machine (EVM)
Code used throughout the Cardano eco-system
Foundry blog posts' executable demos
Blueprints, specifications and documentation on how to build Cardano.
Haskell's IO simulator which closely follows core packages (base, async, stm).
A Haskell library for on-disk tables based on LSM-Trees
A library for stateful property-based testing
The Plutus language implementation and tools
KORE to llvm translation
The Plutus language implementation and tools
Wasm semantics for the Elrond/MultiversX blockchain network
─── peer developers
─── ecosystems
─── languages
- Haskell19
- Python10
- HTML1
- KCL1
- Shell1
- Solidity1
- Nix1
- C++1
- WebAssembly1
─── subscriber view
Unlock the full view of geo2a
- · 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.