Here are
24 public repositories
matching this topic...
Strongly typed multidimensional array library for OCaml
Updated
May 29, 2024
OCaml
Template Haskell for generating ToJSON and FromJSON instances for GADTs
Updated
May 28, 2024
Haskell
Protobufs for functional programming
Updated
May 24, 2024
Rust
Exploring GADT and Pattern Matching as an exercise in Typescript
Updated
May 5, 2024
TypeScript
Fast implementation of queue in OCaml
Updated
Feb 26, 2024
HTML
An attempts to do GADT in C++
Type-check blood group compatibility using GADTs
Updated
Dec 28, 2023
OCaml
Blazingly type safe GPU accelerated Multi-Layer Perceptron
Updated
Sep 16, 2023
OCaml
Provides a Refl encoding in Rust
Streams from the future. With lasers, of course ... whoaaaaa!!!!
An overlay for the OCaml Z3 binding.
Updated
Oct 18, 2022
OCaml
[beta] High-level wrapper around ocaml-sqlite3
Updated
Apr 28, 2022
OCaml
Leibniz equivalence and Liskov substitutability library for Scala.
Updated
Mar 28, 2022
Scala
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
heterogenous Map over a GADT
Updated
Aug 4, 2021
OCaml
Type-safe and extensible metrics monad over ekg
Updated
Feb 1, 2021
Haskell
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Updated
Jan 4, 2021
PureScript
LINQ-like combinators for manipulating collections of in-memory data
Updated
Sep 21, 2020
OCaml
Formal foundations for GADTs in Scala
Updated
May 9, 2020
Scala
Typed Regular Expressions
Updated
Jan 24, 2020
OCaml
Improve this page
Add a description, image, and links to the
gadt
topic page so that developers can more easily learn about it.
Curate this topic
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
You can’t perform that action at this time.