Pinned Repositories
cat-herder
(Free) categories with constraints + n-ary monoidal products.
cmu-ipa
The CMU pronouncing dictionary, but with Unicode IPA symbols.
english-verbs
A database of phonologically transcribed English verbs, organized by inflection.
gj-flap-data
This repo contains a Jupyter notebook documenting the process of (re)creating input-output examples for the American English flapping rule discussed in Gildea & Jurafsky (1996).
gregex
A software library and command-line tool for investigating and working with linear code representations of glycans and regular-expression-like operators.
hegg-patterns
A Haskell package providing some hegg rewrite rules for common algebraic identities.
pointed-word
A Haskell package for modelling (multi)pointed words.
prague
A package for efficiently calculating and storing the extensions of binary feature vectors with respect to a set of observed objects.
seq-zipper
A package for comonadic sequence zippers.
stuttering-banjo
emeinhardt's Repositories
emeinhardt/prague
A package for efficiently calculating and storing the extensions of binary feature vectors with respect to a set of observed objects.
emeinhardt/stuttering-banjo
emeinhardt/gregex
A software library and command-line tool for investigating and working with linear code representations of glycans and regular-expression-like operators.
emeinhardt/Phonosynthesis
SyPhon: Constraint-based Learning of Phonological Rules
emeinhardt/saguaro
emeinhardt/cat-herder
(Free) categories with constraints + n-ary monoidal products.
emeinhardt/hegg-patterns
A Haskell package providing some hegg rewrite rules for common algebraic identities.
emeinhardt/pointed-word
A Haskell package for modelling (multi)pointed words.
emeinhardt/seq-zipper
A package for comonadic sequence zippers.
emeinhardt/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.
emeinhardt/bisemigroup
Algebraic structures with two semigroup operations.
emeinhardt/con-cat-extras
Scratch for working with 'constrained-categories' package
emeinhardt/dog
Datalog lexer, parser, pretty-printer and quasi-quoter.
emeinhardt/ersatz
A monad for interfacing with external SAT solvers
emeinhardt/free-generators
emeinhardt/fungll-combinators
Purely functional GLL parser combinators for Haskell
emeinhardt/hegg-optics
A Haskell package offering optics analogues of the lenses provided for hegg.
emeinhardt/lean-at-MC2020
emeinhardt/lean-flake-test
mild adaptation of sgraf812/dmdanal for testing lean + flake.nix behavior
emeinhardt/lean4-mode
Emacs major mode for Lean 4
emeinhardt/nonempty-containers
Efficient non-empty variants of containers data types, with full API
emeinhardt/orthotope
emeinhardt/scala-seed
A Nix flake for getting started with Scala.
emeinhardt/semiarrow
Free monoidal profunctors + semiarrows.
emeinhardt/shanchan
A repository containing sandbox-y code for constructing optimal channel codes.
emeinhardt/Smtlib
Library for parsing SMTLIB2 s-expressions
emeinhardt/switchboard-lm
Notebooks for processing various versions of the Switchboard corpus.
emeinhardt/t-regex
Matchers and grammars using tree regular expressions
emeinhardt/typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
emeinhardt/zusatz
Tooling for use with SAT solvers