GitHub topics: gadt
Arthi-chaud/data-reify-gadt
'data-reify' for GADT
Language: Haskell - Size: 16.6 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
strict-types/strict-encoding
Protobufs for functional programming
Language: Rust - Size: 572 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 10 - Forks: 8
Drup/tyre
Typed Regular Expressions
Language: OCaml - Size: 309 KB - Last synced at: 19 days ago - Pushed at: about 5 years ago - Stars: 171 - Forks: 5
slamko/ocadl
Blazingly type safe GPU accelerated Multi-Layer Perceptron
Language: OCaml - Size: 9.11 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
Octachron/tensority
Strongly typed multidimensional array library for OCaml
Language: OCaml - Size: 164 KB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 52 - Forks: 1
mirage/ke
Fast implementation of queue in OCaml
Language: HTML - Size: 242 KB - Last synced at: about 16 hours ago - Pushed at: about 1 year ago - Stars: 51 - Forks: 6
Drup/furl
Formatted url
Language: OCaml - Size: 82 KB - Last synced at: 18 days ago - Pushed at: 3 months ago - Stars: 49 - Forks: 3
obsidiansystems/aeson-gadt-th
Template Haskell for generating ToJSON and FromJSON instances for GADTs
Language: Haskell - Size: 94.7 KB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 22 - Forks: 6
hannesm/gmap
heterogenous Map over a GADT
Language: OCaml - Size: 45.9 KB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 42 - Forks: 1
c-cube/sqlite3_utils
[beta] High-level wrapper around ocaml-sqlite3
Language: OCaml - Size: 84 KB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 17 - Forks: 0
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language: PureScript - Size: 32.2 KB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1
sambacha/haskell-lens
Lens Optic ( bidirectional accessor) for nested data manipulation using GADT
Language: Haskell - Size: 3.91 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
Zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
Language: OCaml - Size: 835 KB - Last synced at: 11 days ago - Pushed at: 10 months ago - Stars: 3 - Forks: 1
arabello/ts-gadt
Exploring GADT and Pattern Matching as an exercise in Typescript
Language: TypeScript - Size: 15.6 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
Centril/refl
Provides a Refl encoding in Rust
Language: Rust - Size: 20.5 KB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 68 - Forks: 3
NeuroCorgi/GADT-C
An attempts in GADT in C++
Language: C++ - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
ghuysmans/ocaml-blood
Type-check blood group compatibility using GADTs
Language: OCaml - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
hobwekiva/leibniz
Leibniz equivalence and Liskov substitutability library for Scala.
Language: Scala - Size: 190 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 36 - Forks: 4
c-cube/olinq
LINQ-like combinators for manipulating collections of in-memory data
Language: OCaml - Size: 155 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 0
haxetink/tink_streams
Streams from the future. With lasers, of course ... whoaaaaa!!!!
Language: Haxe - Size: 195 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 12 - Forks: 9
termite-analyser/z3overlay
An overlay for the OCaml Z3 binding.
Language: OCaml - Size: 121 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 34 - Forks: 10
oklm-wsh/Farfadet
A printf-like for Faraday library
Language: OCaml - Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 9 - Forks: 2
0xd34df00d/monad-metrics-extensible
Type-safe and extensible metrics monad over ekg
Language: Haskell - Size: 24.4 KB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1
radeusgd/GADT-thesis
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
Language: Coq - Size: 2.59 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
radeusgd/pDOT-GADT
Formal foundations for GADTs in Scala
Language: Scala - Size: 519 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
noti0na1/GADTFormat
Type-safe Format using GADT in OCaml
Language: OCaml - Size: 3.91 KB - Last synced at: 17 days ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0
DV8FromTheWorld/haskell-shortcut-fusion-generation
Program that can generate Fold and Build declarations for Haskell GADTs
Language: Haskell - Size: 41 KB - Last synced at: 26 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
