Andrea Bedini's repositories
petrol-pump
Petrol pump example using SodiumFRP
mtl
The Monad Transformer Library
dns
DNS libary in Haskell
template-haskell
The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
stackage-server
Server for stable, curated Haskell package sets
network
Low-level networking interface
cabal
Official upstream development repository for Cabal and cabal-install
network-wait
A lightweight Haskell library for waiting on networked services to become available
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
pier
Yet another Haskell build system.
alex
A lexical analyser generator for Haskell
retrie
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
nvim-lspconfig
Quickstart configurations for the Nvim LSP client
wiredtiger-haskell
Haskell bindings for the WiredTiger library
github
The github API for Haskell
head.hackage
TEMP
byo-hackage
Bring Your Own Hackage - A template for personal Hackage repositories
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
hackage-security
Hackage security framework based on TUF (The Update Framework)
hydra
Hydra, the Nix-based continuous build system
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
cabal-extras
A tool suite to aid Haskell development using `cabal-install`
plutus-metatheory
Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
differential-datalog
An incremental programming language
