Typed Regular Expressions

Provides a Refl encoding in Rust

Fast implementation of queue in OCaml

Strongly typed multidimensional array library for OCaml

Formatted url

heterogenous Map over a GADT

Leibniz equivalence and Liskov substitutability library for Scala.

An overlay for the OCaml Z3 binding.

Template Haskell for generating ToJSON and FromJSON instances for GADTs

[beta] High-level wrapper around ocaml-sqlite3

LINQ-like combinators for manipulating collections of in-memory data

Streams from the future. With lasers, of course ... whoaaaaa!!!!

A printf-like for Faraday library

Protobufs for functional programming

Type-safe Format using GADT in OCaml

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

Type-safe and extensible metrics monad over ekg

🎲 Statically typed probabilistic programming language, feat. GADT

Program that can generate Fold and Build declarations for Haskell GADTs

Formal foundations for GADTs in Scala