gadt

Star

Here are 30 public repositories matching this topic...

Drup / tyre

Star

Typed Regular Expressions

types regex ocaml gadt

Updated Dec 8, 2025
OCaml

Centril / refl

Star

Provides a Refl encoding in Rust

rust gadt type-system propositional-logic

Updated Apr 6, 2023
Rust

Octachron / tensority

Star

Strongly typed multidimensional array library for OCaml

gadt ppx tensor multidimensional-arrays

Updated Jan 27, 2025
OCaml

mirage / ke

Star

Fast implementation of queue in OCaml

queue ocaml gadt

Updated Feb 26, 2024
HTML

Drup / furl

Star

Formatted url

uri format ocaml gadt

Updated Jan 20, 2025
OCaml

hannesm / gmap

Star

heterogenous Map over a GADT

map data-structure ocaml gadt heterogeneous

Updated Dec 17, 2024
OCaml

sir-wabbit / leibniz

Star

Leibniz equivalence and Liskov substitutability library for Scala.

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

Updated Mar 28, 2022
Scala

termite-analyser / z3overlay

Star

An overlay for the OCaml Z3 binding.

ocaml gadt z3

Updated Oct 18, 2022
OCaml

obsidiansystems / aeson-gadt-th

Star

Template Haskell for generating ToJSON and FromJSON instances for GADTs

encoding json haskell decoding gadt aeson

Updated Jan 18, 2025
Haskell

c-cube / sqlite3_utils

Star

[beta] High-level wrapper around ocaml-sqlite3

query sql ocaml gadt sqlite3

Updated Apr 28, 2022
OCaml

c-cube / olinq

Star

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

linq query ocaml gadt monad join

Updated Sep 21, 2020
OCaml

rodrimati1992 / typewit

Star

type-witness-based abstractions, used for emulating polymorphism in const fns

const gadt type-witness

Updated Apr 14, 2026
Rust

haxetink / tink_streams

Star

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

data immutable haxe streams gadt tink

Updated Aug 13, 2024
Haxe

strict-types / strict-encoding

Sponsor

Star

Protobufs for functional programming

rust functional-programming type-theory gadt category-theory type-safety serialization-library serialization-format

Updated May 19, 2025
Rust

oklm-wsh / Farfadet

Star

A printf-like for Faraday library

serialization ocaml printf gadt

Updated Jul 5, 2018
OCaml

qexat-archive / over-the-type

Star

Various experimentations at the edge of OCaml's type system

proof equality gadt type-system leibniz martin-lof

Updated Nov 3, 2025
OCaml

noti0na1 / GADTFormat

Star

Type-safe Format using GADT in OCaml

format ocaml gadt

Updated Jun 12, 2018
OCaml

Zeta611 / stappl

Star

🎲 Statically typed probabilistic programming language, feat. GADT

ocaml gadt probabilistic-programming type-system probabilistic-graphical-models generalized-algebraic-data-type

Updated Jun 13, 2024
OCaml

0xd34df00d / monad-metrics-extensible

Star

Type-safe and extensible metrics monad over ekg

haskell metrics gadt monad type-safety

Updated Feb 1, 2021
Haskell

Kamirus / purescript-functional-concepts

Star

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

church-encoding gadt higher-order-functions typeclasses exists tagless row-polymorphism leibniz-equality gadts eadt

Updated Oct 16, 2024
PureScript

Add this topic to your repo

To associate your repository with the gadt topic, visit your repo's landing page and select "manage topics."

Learn more