gadt
Here are 24 public repositories matching this topic...
Protobufs for functional programming
-
Updated
May 24, 2024 - Rust
Leibniz equivalence and Liskov substitutability library for Scala.
-
Updated
Mar 28, 2022 - Scala
Type-safe and extensible metrics monad over ekg
-
Updated
Feb 1, 2021 - Haskell
Strongly typed multidimensional array library for OCaml
-
Updated
May 29, 2024 - OCaml
Program that can generate Fold and Build declarations for Haskell GADTs
-
Updated
Apr 30, 2018 - Haskell
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
-
Updated
Dec 6, 2021 - Coq
Blazingly type safe GPU accelerated Multi-Layer Perceptron
-
Updated
Sep 16, 2023 - OCaml
Formal foundations for GADTs in Scala
-
Updated
May 9, 2020 - Scala
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."