repos
32
ecosystems
6
languages
6
commits
824
─── top repos · by commits
─── repositories
32 totalThe symbolic execution engine powering the K Framework
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
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.
The Plutus language implementation and tools
Cardano API
Cardano API
Metadata for Cardano's Haskell package repository
K Framework Tools 7.0
Accelerates K Framework's Haskell backend
The ledger implementation and specifications of the Cardano blockchain.
Metadata for Cardano's Haskell package repository
Plutus scripts used for cardano-node-tests
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Cardano Improvement Proposals (CIPs)
Code used throughout the Cardano eco-system
System and end-to-end (E2E) tests for cardano-node.
CIPs for ALBA, Leios, Peras, ...
Cardano Improvement Proposals (CIPs)
A Formal Semantics of WebAssembly in K
Python tools for the K Framework
CIPs being edited or proposed by Project Catalyst
Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.
K Semantics of the Ethereum Virtual Machine (EVM)
─── peer developers
─── ecosystems
─── languages
- Haskell14
- Python7
- Shell2
- JavaScript2
- KCL1
- WebAssembly1
─── subscriber view
Unlock the full view of ana-pantilie
- · 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.