#
gadt
Here are 25 public repositories matching this topic...
Strongly typed multidimensional array library for OCaml
-
Updated
May 29, 2024 - OCaml
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
Protobufs for functional programming
rust
functional-programming
type-theory
gadt
category-theory
type-safety
serialization-library
serialization-format
-
Updated
May 24, 2024 - Rust
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
Jan 4, 2021 - PureScript
Type-safe and extensible metrics monad over ekg
-
Updated
Feb 1, 2021 - Haskell
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
Program that can generate Fold and Build declarations for Haskell GADTs
-
Updated
Apr 30, 2018 - Haskell
Blazingly type safe GPU accelerated Multi-Layer Perceptron
-
Updated
Sep 16, 2023 - OCaml
Improve this page
Add a description, image, and links to the gadt topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gadt topic, visit your repo's landing page and select "manage topics."