aradarbel10 / Styff Star 8 Code Issues Pull requests A functional programming language based on system F (omega) ft. NbE and higher order unification programming-language compiler pattern-matching ocaml functional-language type-inference typechecking system-f system-f-omega gadts Updated May 12, 2023 OCaml
Kamirus / purescript-functional-concepts Star 4 Code Issues Pull requests Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings church-encoding gadt higher-order-functions typeclasses exists tagless row-polymorphism leibniz-equality gadts eadt Updated Jan 4, 2021 PureScript
kutyel / thinking-with-types Sponsor Star 3 Code Issues Pull requests ⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages! kotlin haskell scala types type-theory type-level gadts Updated Feb 6, 2020 Haskell
radeusgd / pDOT-GADT Star 1 Code Issues Pull requests Formal foundations for GADTs in Scala scala lambda-calculus coq gadt formal-methods formalization gadts Updated May 9, 2020 Scala
Mari-W / ocaml-gadts Star 0 Code Issues Pull requests german introduction slides to gadts in ocaml ocaml gadts Updated Jul 27, 2022 OCaml