andreabedini

byo-hackage

Bring Your Own Hackage - A template for personal Hackage repositories

actions

Github actions for Haskell CI

andreabedini.github.io

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

cabal-plan-to-nix

cabal-plan-to-nix

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

crem

Compositional Representable Executable Machines

declarative-hydra-example

An example illustrating declarative hydra projects

docker-haskell

ekg-forward

EKG forwarding library

gitlib

HaskellR

The full power of R in Haskell.

hydra

Hydra, the Nix-based continuous build system

hydra-1

Implementation of the Hydra Head protocol

hydra-tools

io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

jq

Command-line JSON processor

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

marlowe-cardano

Marlowe smart contract language Cardano implementation

minimal-reproducer-cabal-sublib-haskell-nix

nickel-nix

An experimental Nix toolkit to use nickel as a language for writing nix packages, shells and more.

petrol-pump

Petrol pump example using SodiumFRP

plutarch-templete

plutonomy

An optimizer for untyped plutus core

plutus

The Plutus language implementation and tools

plutus-starter

A starter project for Plutus apps

simpler-easier

stackage.nix

Automatically generated Nix expressions of Stackage snapshots

test-plutus-tx

typed-protocols

Session types framework with support of protocol pipelining.