Block or Report
Block or report emeinhardt
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
typelits-witnesses Public
Forked from sheaf/typelits-witnessesExistential witnesses, singletons, and classes for operations on GHC TypeLits
Haskell MIT License UpdatedApr 9, 2024 -
fungll-combinators Public
Forked from ltbinsbe/fungll-combinatorsPurely functional GLL parser combinators for Haskell
Haskell Other UpdatedApr 7, 2024 -
bisemigroup Public
Algebraic structures with two semigroup operations.
Haskell MIT License UpdatedApr 5, 2024 -
cat-herder Public
(Free) categories with constraints + n-ary monoidal products.
Haskell MIT License UpdatedMar 30, 2024 -
-
con-cat-extras Public
Scratch for working with 'constrained-categories' package
Haskell MIT License UpdatedJan 17, 2024 -
-
ersatz Public
Forked from ekmett/ersatzA monad for interfacing with external SAT solvers
Haskell Other UpdatedJan 11, 2024 -
scala-seed Public
Forked from DevInsideYou/scala-seedA Nix flake for getting started with Scala.
Nix MIT License UpdatedJan 8, 2024 -
t-regex Public
Forked from serras/t-regexMatchers and grammars using tree regular expressions
Haskell UpdatedJan 3, 2024 -
pointed-word Public
A Haskell package for modelling (multi)pointed words.
Haskell MIT License UpdatedDec 13, 2023 -
-
dog Public
Forked from urbint/dogDatalog lexer, parser, pretty-printer and quasi-quoter.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 24, 2023 -
Smtlib Public
Forked from msakai/SmtlibLibrary for parsing SMTLIB2 s-expressions
Haskell MIT License UpdatedNov 21, 2023 -
-
hegg-patterns Public
A Haskell package providing some hegg rewrite rules for common algebraic identities.
Haskell MIT License UpdatedNov 8, 2023 -
nonempty-containers Public
Forked from mstksg/nonempty-containersEfficient non-empty variants of containers data types, with full API
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 8, 2023 -
hegg-optics Public
A Haskell package offering optics analogues of the lenses provided for hegg.
Haskell MIT License UpdatedNov 6, 2023 -
prague Public
A package for efficiently calculating and storing the extensions of binary feature vectors with respect to a set of observed objects.
-
lean-flake-test Public
Forked from sgraf812/dmdanalmild adaptation of sgraf812/dmdanal for testing lean + flake.nix behavior
Lean UpdatedOct 3, 2022 -
-
free-generators Public
Forked from hgoldstein95/free-generatorsHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 16, 2022 -
lean4-mode Public
Forked from leanprover-community/lean4-modeEmacs major mode for Lean 4
Emacs Lisp Apache License 2.0 UpdatedAug 3, 2022 -
-
-
wr Public
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.
Jupyter Notebook UpdatedJul 6, 2020 -
Phonosynthesis Public
Forked from shraddhabarke/SyPhonSyPhon: Constraint-based Learning of Phonological Rules
-
shanchan Public
A repository containing sandbox-y code for constructing optimal channel codes.
Jupyter Notebook UpdatedApr 4, 2020 -
gregex Public
A software library and command-line tool for investigating and working with linear code representations of glycans and regular-expression-like operators.
-
switchboard-lm Public
Notebooks for processing various versions of the Switchboard corpus.
Jupyter Notebook UpdatedNov 22, 2019