overlogged / steak Star 31 Code Issues Pull requests A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17. programming-language functional-programming pattern-matching cpp17 lazy-evaluation generalized-algebraic-data-type Updated Mar 13, 2019 C++
broom-lang / broom Star 14 Code Issues Pull requests A programming language with first-class modules and algebraic effects. programming-language algebraic-effects modules compiler broom implicit type-inference type-class generalized-algebraic-data-type row-polymorphism Updated Dec 3, 2022 OCaml
Zeta611 / stappl Star 4 Code Issues Pull requests ๐ฒ Statically typed probabilistic programming language, feat. GADT ocaml gadt probabilistic-programming type-system probabilistic-graphical-models generalized-algebraic-data-type Updated Jun 13, 2024 OCaml
Zeta611 / type-safe-programming Star 4 Code Issues Pull requests SLConf 2024: ํ์ ์ผ๋ก ์์ ํ๊ฒ ํ๋ก๊ทธ๋๋ฐํ๊ธฐ rust algebraic-data-types beamer polymorphism type-system system-f parametric-polymorphism simply-typed-lambda-calculus generalized-algebraic-data-type ad-hoc-polymorphism subtype-polymorphism universal-type Updated Jan 14, 2024 TeX
CarstenKoenig / GadtParser Star 3 Code Issues Pull requests parsing GADT-style expression trees haskell parsing doctest megaparsec generalized-algebraic-data-type Updated Aug 22, 2019 Haskell