michaelpj

cabal-build-tool-depends-solver-repro

byo-hackage

Bring Your Own Hackage - A template for personal Hackage repositories

cabal

Official upstream development repository for Cabal and cabal-install

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

co-log-core

🌽 Core types and functions that power the Haskell `co-log` implementation

coding-dojo

Code and documentation on IOG coding dojo

doom-emacs

An Emacs framework for the stubborn martian hacker

dotfiles

ekg-forward

EKG forwarding library

flat

Principled and efficient binary serialization

hackage-db

provide access to the Hackage database via Data.Map

hie-bios

hlint

Haskell source code suggestions

katip

A structured logging framework for Haskell

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

lsp-mode

Emacs client/library for the Language Server Protocol

nixbuild-action

GitHub Action for using the nixbuild.net service

old-ghc-nix

Old and New GHC

ops-lib

NixOps deployment configuration library for IOHK devops

plfa.github.io

An introduction to programming language theory in Agda

prezto

The configuration framework for Zsh

pure-zlib

A Haskell-only implementation of zlib / DEFLATE.

pvp

Haskell Package Version Policy (PVP)

quickcheck-contractmodel

Adversary testing of your plutus contract

ring-buffer

safe-num

semigroupoids

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

wide-word

A haskell library providing Word128 and Int128 types

word-array

treat `Word`s like arrays of smaller `Word`s