GitHub topics: generalized-algebraic-data-type
Zeta611/stappl
π² Statically typed probabilistic programming language, feat. GADT
Language: OCaml - Size: 835 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1
CarstenKoenig/GadtParser
parsing GADT-style expression trees
Language: Haskell - Size: 23.4 KB - Last synced at: 15 days ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0
Zeta611/type-safe-programming
SLConf 2024: νμ μΌλ‘ μμ νκ² νλ‘κ·Έλλ°νκΈ°
Language: TeX - Size: 6.99 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
broom-lang/broom
A programming language with first-class modules and algebraic effects.
Language: OCaml - Size: 2.23 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1
overlogged/steak
A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
Language: C++ - Size: 40 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 27 - Forks: 0
