comptrans

Translation of ASTs into multi-sorted compositional data types

compiling-to-assembly

smallcheck-laws

Property testing for common type classes

jsonpath-hs

Haskell implementation of JSONPath

tasty-laws

Tasty test runners for checking common laws

algorand-merkle

free-est

haskell-ebml

Pure parser for rfc-8794

katydid-haskell

An Encoding Agnostic Validation Language

effects

An implementation of "Freer Monads, More Extensible Effects".

compstrat

Strategy combinators for compositional data types

haskell-tree-sitter

Haskell bindings for tree-sitter

codebruijn

experiments with pext/pdep and codebruijn syntax

discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.

rope

Fingertrees of Bytestrings