emeinhardt

prague

A package for efficiently calculating and storing the extensions of binary feature vectors with respect to a set of observed objects.

stuttering-banjo

gregex

A software library and command-line tool for investigating and working with linear code representations of glycans and regular-expression-like operators.

Phonosynthesis

SyPhon: Constraint-based Learning of Phonological Rules

saguaro

cat-herder

(Free) categories with constraints + n-ary monoidal products.

hegg-patterns

A Haskell package providing some hegg rewrite rules for common algebraic identities.

pointed-word

A Haskell package for modelling (multi)pointed words.

seq-zipper

A package for comonadic sequence zippers.

wr

Code for creating a model of the posterior confusability of words given (1) a language model and (2) diphone gating data that can be used to define a noise model.

bisemigroup

Algebraic structures with two semigroup operations.

con-cat-extras

Scratch for working with 'constrained-categories' package

dog

Datalog lexer, parser, pretty-printer and quasi-quoter.

ersatz

A monad for interfacing with external SAT solvers

free-generators

fungll-combinators

Purely functional GLL parser combinators for Haskell

hegg-optics

A Haskell package offering optics analogues of the lenses provided for hegg.

lean-at-MC2020

lean-flake-test

mild adaptation of sgraf812/dmdanal for testing lean + flake.nix behavior

lean4-mode

Emacs major mode for Lean 4

nonempty-containers

Efficient non-empty variants of containers data types, with full API

orthotope

scala-seed

A Nix flake for getting started with Scala.

semiarrow

Free monoidal profunctors + semiarrows.

shanchan

A repository containing sandbox-y code for constructing optimal channel codes.

Smtlib

Library for parsing SMTLIB2 s-expressions

switchboard-lm

Notebooks for processing various versions of the Switchboard corpus.

t-regex

Matchers and grammars using tree regular expressions

typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits

zusatz

Tooling for use with SAT solvers