emeinhardt Goto Github PK

bisemigroup

Algebraic structures with two semigroup operations.

buckeye-lm

Notebooks for working with / processing the Buckeye corpus.

cat-herder

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

cmu-ipa

The CMU pronouncing dictionary, but with Unicode IPA symbols.

con-cat-extras

Scratch for working with 'constrained-categories' package

dog

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

english-verbs

A database of phonologically transcribed English verbs, organized by inflection.

ersatz

A monad for interfacing with external SAT solvers

fisher-lm

Notebook converts the Fisher Corpus to a relational format and processes it for a language model.

fisher-lm-srilm

A repository describing the construction of a unigram language model from the Fisher corpus

free-generators

fungll-combinators

Purely functional GLL parser combinators for Haskell

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-optics

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

hegg-patterns

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

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

lm-demo

Language modeling lab

newdic-nettalk-ipa

Mike Hammond's newdic / Sejnowski & Rosenberg's NETtalk dictionary, but with Unicode IPA symbols.

nonempty-containers

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

orthotope

phonosynthesis

SyPhon: Constraint-based Learning of Phonological Rules

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.

roman

Machine- and human-readable representations of phonetic and phonological feature systems.

saguaro

scala-seed

A Nix flake for getting started with Scala.

semiarrow

Free monoidal profunctors + semiarrows.