emeinhardt

sixten

Functional programming with fewer indirections

sixty

Dependent type checker using normalisation by evaluation

rock

Build system

opam-nix

Turn opam-based OCaml projects into Nix derivations

spaceleak

Notes on space leaks

nix-overlays

OCaml-focused, custom nix-overlays

sparse-linear-algebra

Numerical computation in native Haskell

jacinda

Functional, expression-oriented data processing language

peg

A lazy non-deterministic concatenative programming language

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.

blaze

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

heidi

heidi : tidy data in Haskell

automata

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

monoidal

inet

goal

The Geometric OptimizAtion Libraries

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

free-generators

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

huihua

A Haskell port of uiua

lambda

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

graded-lib

Experimental Flix library for graded functors, applicatives and monads.

flix-parsec

Parser combinator library for Flix targeting text input.

hugo-math

Fork of hugo-book, specializing in math