gadt topic

List gadt repositories

tyre

167
Stars
3
Forks
Watchers

Typed Regular Expressions

verified publisher icon Drup

refl

68
Stars
3
Forks
Watchers

Provides a Refl encoding in Rust

verified publisher icon Centril

furl

49
Stars
3
Forks
Watchers

Formatted url

verified publisher icon Drup

tensority

49
Stars
1
Forks
Watchers

Strongly typed multidimensional array library for OCaml

verified publisher icon Octachron

gmap

42
Stars
1
Forks
Watchers

heterogenous Map over a GADT

verified publisher icon hannesm

leibniz

36
Stars
4
Forks
Watchers

Leibniz equivalence and Liskov substitutability library for Scala.

verified publisher icon hobwekiva

ke

50
Stars
6
Forks
Watchers

Fast implementation of queue in OCaml

verified publisher icon mirage

aeson-gadt-th

21
Stars
6
Forks
Watchers

Template Haskell for generating ToJSON and FromJSON instances for GADTs

verified publisher icon obsidiansystems

z3overlay

34
Stars
10
Forks
Watchers

An overlay for the OCaml Z3 binding.

verified publisher icon termite-analyser

sqlite3_utils

18
Stars
0
Forks
Watchers

[beta] High-level wrapper around ocaml-sqlite3

verified publisher icon c-cube