GitHub topics: generalized-algebraic-data-type
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
CarstenKoenig/GadtParser
parsing GADT-style expression trees
Language: Haskell - Size: 23.4 KB - Last synced at: 30 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
Zeta611/type-safe-programming
SLConf 2024: νμ μΌλ‘ μμ νκ² νλ‘κ·Έλλ°νκΈ°
Language: TeX - Size: 6.99 MB - Last synced at: 13 days 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: over 1 year 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: about 2 years ago - Pushed at: about 6 years ago - Stars: 27 - Forks: 0
