pwm

nixkell

A simple Nix-Haskell skeleton

s-flow

A lightweight library for defining state machines.

datetime-period

An implementation of the datetime period type including all their possible relations.

uuid-v4

Implementation of the RFC 4122 UUID version 4 (variant 1) data type

nix-home

Nix + HM = <3

sfw-container

A minimalistic DI container with cycle detection, cacheable instance resolution and dynamic loading.

treegami

A small library for mapping and folding trees.

jgami

Have you ever mapped a function over a list? Now you can do the same with JSON!

ln-dot

Small util to dump the lightning network graph into a graphviz dot file.

aoc2020

Advent of Code 2020

sudoku

advent-of-code-ocr

Parsing ASCII art word solutions for advent of code

aeson-diff

Generate and apply diffs between JSON documents.

aoc2021

AoC 2021

aoc2022

Advent of Code 2022

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@houstdav000]

cabal2nix

Generate Nix build instructions from a Cabal file

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

hal

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

home-manager

Manage a user environment using Nix

hugs98-plus-Sep2006

Revive Hugs98 from its last official self-contained distribution.

jijo

Bidirectional JSON serialization

lawvere

A categorical programming language with effects

level-monad

Non-Determinism Monad for Level-Wise Search

logict

A continuation-based backtracking logic programming monad

logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

openapi3

OpenAPI 3.0 data model

servant-auth

stan

🕵️ Haskell STatic ANalyser

stream-monad

Simple, Fair and Terminating Backtracking Monad