emeinhardt

hugo-math

Fork of hugo-book, specializing in math

rock

Build system

sixty

Dependent type checker using normalisation by evaluation

sixten

Functional programming with fewer indirections

flix-parsers

A simple parser combinator library for Flix

flix-parsec

Parser combinator library for Flix targeting text input.

graded-lib

Experimental Flix library for graded functors, applicatives and monads.

nix-overlays

OCaml-focused, custom nix-overlays

opam-nix

Turn opam-based OCaml projects into Nix derivations

unison-nix

Nix support for the Unison programming language

automata

generate synthetic data for training finite state machines/pushdown automata/turing machines

fungll-combinators

Purely functional GLL parser combinators for Haskell

free-generators

dhall-gitlab-ci

A Dhall encoding of the GitLab CI configuration schema

blaze

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

HashedExpression

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

sparse-linear-algebra

Numerical computation in native Haskell

heidi

heidi : tidy data in Haskell

fused-syntax

Fast, flexible, fused syntax operations for Haskell

operational-alacarte

A version of Operational suitable for EDSLs extensible via data types à la carte

higher-functors

Higher-order Functors

spaceleak

Notes on space leaks

jacinda

Functional, expression-oriented data processing language

goal

The Geometric OptimizAtion Libraries

huihua

A Haskell port of uiua

monoidal

filterable

A simple account of "filterability" using category theory

inet

peg

A lazy non-deterministic concatenative programming language

lambda

Interpreters for lambda calculus, calculus of constructions, and other languages