overlogged / steak Star 28 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 10 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 / 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