repos
15
ecosystems
4
languages
7
commits
979
─── top repos · by commits
─── repositories
15 totalA framework for smart contract verification in Coq
A framework for smart contract verification in Coq
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
A repository containing code extracted using ConCert
Concordium Developer Documentation
Proposals for updates to the Concordium network.
Tools for issuing, verification, and testing of Web3 ID
Libraries and tools for writing and testing smart contracts on Concordium
Chain-Agnostic Namespaces host informative specs and profiles of CAIPs (Chain-Agnostic Improvement Proposals) per blockchain ecosystem
Chain-Agnostic Namespaces host informative specs and profiles of CAIPs (Chain-Agnostic Improvement Proposals) per blockchain ecosystem
Common functionality used by smart contracts and the host environment on the Concordium blockchain.
The main concordium node implementation.
Marlowe interpreter and contract manager
Tools for building, deploying, and interacting with smart contracts
─── peer developers
─── languages
- Rust6
- Python2
- TypeScript2
- HTML2
- Rocq Prover1
- Coq1
- Haskell1
─── subscriber view
Unlock the full view of annenkov
- · 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.