This is your work, valued

chessai

Elite
@chessai

one must imagine sisyphus hacking

nix-std. no-nixpkgs standard library for the nix expression language

139

theseus. theseus, functional programming language with fully reversible computation

127

semirings. semirings and *-semirings of types in base/haskell-platform

45

hsdatalog. BDD-based implementation of Datalog

38

pump. reverse dependency build matrix generator

33

shwifty. DEPRECATED: use https://github.com/MercuryTechnologies/moat

23

eigen. Haskell bindings to the Eigen C++ library

16

nixos-configs. my nixos configs

15

streaming-fft. sliding fast fourier transform using haskell streaming

13

patience. Patience diff and longest increasing subsequence

12

ring-buffers. concurrent mutable ring buffers with atomic updates in GHC Haskell

11

vector-circular. cycling vectors with O(1) rotation and O(1), total access

10

string. DEPRECATED: `text` is now UTF-8: https://github.com/haskell/text

9

growable-vector. haskell growable vector library

8

freq. frequency analysis tool in Haskell

8

nike. nixos remote installation via `justdoit`

7

haskell-library-picker. domain-based library choice assistant for Haskell

7

emmy. custom event manager in ghc haskell

7

st2. ST2 monad as described in the functional pearl "Ghosts of Departed Proofs"

7

diet. discrete interval encoding trees (DIETs) - deprecated in favour of https://github.com/andrewthad/primitive-containers/tree/master/src-diet-map-indef

6

hedgehog-generic. GHC Generics automatically derived hedgehog generators

5

we-tha-best-slack. DJ Khaled SlackBot

5

cfr. A Haskell implementation of Counterfactual Regret Minimization for poker

3

plutus-flake-utils. a nix flake for plutus projects

3

pong. GHC Haskell command-line ping utility

3