Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with gadt
A curated list of projects in awesome lists tagged with gadt .
https://github.com/Centril/refl
Provides a Refl encoding in Rust
gadt propositional-logic rust type-system
Last synced: 29 Nov 2024
https://github.com/centril/refl
Provides a Refl encoding in Rust
gadt propositional-logic rust type-system
Last synced: 19 Dec 2024
https://github.com/octachron/tensority
Strongly typed multidimensional array library for OCaml
gadt multidimensional-arrays ppx tensor
Last synced: 12 Nov 2024
https://github.com/hannesm/gmap
heterogenous Map over a GADT
data-structure gadt heterogeneous map ocaml
Last synced: 22 Oct 2024
https://github.com/strict-types/strict-encoding
Protobufs for functional programming
category-theory functional-programming gadt rust serialization-format serialization-library type-safety type-theory
Last synced: 04 Dec 2024
https://github.com/noti0na1/gadtformat
Type-safe Format using GADT in OCaml
Last synced: 28 Oct 2024
https://github.com/kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
church-encoding eadt exists gadt gadts higher-order-functions leibniz-equality row-polymorphism tagless typeclasses
Last synced: 21 Dec 2024
https://github.com/zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
gadt generalized-algebraic-data-type ocaml probabilistic-graphical-models probabilistic-programming type-system
Last synced: 12 Oct 2024
https://github.com/0xd34df00d/monad-metrics-extensible
Type-safe and extensible metrics monad over ekg
gadt haskell metrics monad type-safety
Last synced: 04 Dec 2024
https://github.com/slamko/ocadl
Blazingly type safe GPU accelerated Multi-Layer Perceptron
deep-learning dependent-types functional-programming gadt neural-network ocaml type-safe
Last synced: 20 Nov 2024
https://github.com/radeusgd/pdot-gadt
Formal foundations for GADTs in Scala
coq formal-methods formalization gadt gadts lambda-calculus scala
Last synced: 25 Nov 2024
https://github.com/dv8fromtheworld/haskell-shortcut-fusion-generation
Program that can generate Fold and Build declarations for Haskell GADTs
cli code-generation gadt haskell shortcut-fusion
Last synced: 05 Dec 2024
https://github.com/radeusgd/gadt-thesis
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
Last synced: 25 Nov 2024
https://github.com/sambacha/haskell-lens
Lens Optic ( bidirectional accessor) for nested data manipulation using GADT
bidirectional-accessor composition gadt haskell lens optic
Last synced: 06 Dec 2024
