All Categories → No Category → gadt

Top 4 gadt open source projects

Leibniz equivalence and Liskov substitutability library for Scala.

✭ 35

scala java equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types

heterogenous Map over a GADT

✭ 40

ocaml map data-structure gadt heterogeneous

Fast implementation of queue in OCaml

✭ 42

ocaml queue gadt

Strongly typed multidimensional array library for OCaml

✭ 44

ocaml gadt ppx tensor multidimensional-arrays

1-4 of 4 gadt projects