emeinhardt's starred repositories
nix-overlays
OCaml-focused, custom nix-overlays
sparse-linear-algebra
Numerical computation in native Haskell
unison-nix
Nix support for the Unison programming language
dhall-gitlab-ci
A Dhall encoding of the GitLab CI configuration schema
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
higher-functors
Higher-order Functors
filterable
A simple account of "filterability" using category theory
operational-alacarte
A version of Operational suitable for EDSLs extensible via data types à la carte
fungll-combinators
Purely functional GLL parser combinators for Haskell
flix-parsers
A simple parser combinator library for Flix
fused-syntax
Fast, flexible, fused syntax operations for Haskell
graded-lib
Experimental Flix library for graded functors, applicatives and monads.
flix-parsec
Parser combinator library for Flix targeting text input.