Typed Regular Expressions
Provides a Refl encoding in Rust
Fast implementation of queue in OCaml
Formatted url
Strongly typed multidimensional array library for OCaml
heterogenous Map over a GADT
Leibniz equivalence and Liskov substitutability library for Scala.
An overlay for the OCaml Z3 binding.