repos
270
ecosystems
9
languages
10
commits
307,570
─── top repos · by commits
─── repositories
270 totalThe 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 Plutus language implementation and tools
The Plutus language reference 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 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 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 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 Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
Marlowe smart contract language Cardano implementation
The Marlowe website
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
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 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 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 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 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 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 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 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 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 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 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 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 Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus language reference implementation and tools
The Plutus language reference implementation and tools
The Plutus language reference implementation and tools
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Metadata for Cardano's Haskell package repository
Metadata for Cardano's Haskell package repository
Experimental version of Marlowe validators with minimal dependencies on other Haskell pacakges
Alternative Haskell Infrastructure for Nixpkgs
Alternative Haskell Infrastructure for Nixpkgs
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium
DEPRECATED. Use input-output-hk/haskell.nix
The ledger implementation and specifications of the Cardano blockchain.
Documents/Artifacts for the Open Source Committee can be founnd in this Repository. If there are questions or concerns, Please create an issue or contact the Open Source Office.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
Code used throughout the Cardano eco-system
A formal specification and executable model of the ledger rules introduced by the Shelley release
Cardano Improvement Proposals (CIPs)
nix scripts shared across projects
CIPs being edited or proposed by Project Catalyst
CIPs for ALBA, Leios, Peras, ...
nix scripts shared across projects
Cardano Improvement Proposals (CIPs)
Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.
Fork of CF CIPs for developing CIP PRs
Cardano Improvement Proposals (CIPs)
A starter project for Plutus apps
A starter project for Plutus apps
A starter project for Plutus apps (always up-to-date, hopefully)
Emurgo Plutus Project
A starter project for Plutus apps
Plutus Smart Contract for the Simple Drop app
A starter project for Plutus apps
A starter project for Plutus apps
A starter project for Plutus apps
A starter project for Plutus apps
A starter project for Plutus apps
The core component that is used to participate in a Cardano decentralised blockchain.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.
WIP. Do not run.
The core component that is used to participate in a Cardano decentralised blockchain.
A starter project for Plutus apps
Tokenomia aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform for the needs of Smart Chain Developments.
A starter project for Plutus apps
The core component that is used to participate in a Cardano decentralised blockchain.
Temporary fork of the Haskell node for debug logging
The core component that is used to participate in a Cardano decentralised blockchain.
Cardano API
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
A starter project for Plutus apps
A starter project for Plutus apps
Stable coin project build on plutus platform using age usd protocol.
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
This repo retains updates for Committees and Intersect Groups set forth by the admin team.
Fork created to add NFT Identity CIP
Decentralized Hub for Blockchain Gaming, NFTs and Metaverse on Cardano
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.
Implementation of a Consensus Layer for the Ouroboros family of protocols
Implementation of a Consensus Layer for the Ouroboros family of protocols
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
A protolude-based custom prelude for the Cardano project
NixOps deployment configuration library for IOHK devops
EKG forwarding library
This repo retains updates for Core Infrastructure Roadmap Committee and relevant Working Groups
This repository holds the Intersect Knowledge Base
Implementation of a Consensus Layer for the Ouroboros family of protocols
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.
Translate Cabals Generic Package Description to a Nix expression
Flake Template for Haskell Projects
Adversary testing of your plutus contract
Translate servant API to purescript code, with the help of purescript-bridge.
Code and documentation on IOG coding dojo
The core component that is used to participate in a Cardano decentralised blockchain.
Modern and extensible testing framework for Haskell
The core component that is used to participate in a Cardano decentralised blockchain.
Translate servant API to purescript code, with the help of purescript-bridge.
Some extra bits used first in plutus-apps.
A protolude-based custom prelude for the Cardano project
The core component that is used to participate in a Cardano decentralised blockchain.
Adversary testing of your plutus contract
Modern and extensible testing framework for Haskell
Principled and efficient binary serialization
The core component that is used to participate in a Cardano decentralised blockchain.
─── peer developers
─── ecosystems
─── languages
- Haskell91
- Nix21
- HTML18
- JavaScript11
- Shell3
- Python3
- PureScript1
- Nunjucks1
- CSS1
- TypeScript1
─── subscriber view
Unlock the full view of michaelpj
- · 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.