repos
79
ecosystems
4
languages
3
commits
1,424
─── top repos · by commits
─── repositories
79 total🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
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.
Temporary fork of the Haskell node for debug logging
Metadata for Cardano's Haskell package repository
Metadata for Cardano's Haskell package repository
WIP. Do not run.
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.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
Cardano API
Cardano API
The Plutus application platform
The Plutus application platform
The Plutus application platform
Alternative Haskell Infrastructure for Nixpkgs
The Plutus application platform
The Plutus application platform
The Plutus application platform
Alternative Haskell Infrastructure for Nixpkgs
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
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
The Plutus application platform
The Plutus application platform
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
The Plutus application platform
A starter project for Plutus apps
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
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.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Code used throughout the Cardano eco-system
Haskell's IO simulator which closely follows core packages (base, async, stm).
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
nix scripts shared across projects
The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).
Implementation of the Hydra Head protocol
The ledger implementation and specifications of the Cardano blockchain.
Session types framework with support of protocol pipelining.
Adversary testing of your plutus contract
Fork of the Hydra Head for SundaeSwap's upstream contributions
Adversary testing of your plutus contract
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
Marlowe smart contract language Cardano implementation
The Plutus application platform
The Plutus application platform
YAML 1.2 implementation in pure Haskell
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
─── peer developers
─── ecosystems
─── languages
- Haskell53
- Nix4
- Shell3
─── subscriber view
Unlock the full view of andreabedini
- · 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.