Projects in Awesome Lists tagged with gadts
A curated list of projects in awesome lists tagged with gadts .
https://github.com/kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
church-encoding eadt exists gadt gadts higher-order-functions leibniz-equality row-polymorphism tagless typeclasses
Last synced: 07 Apr 2025
https://github.com/kutyel/thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
gadts haskell kotlin scala type-level type-theory types
Last synced: 07 Dec 2024
https://github.com/radeusgd/pdot-gadt
Formal foundations for GADTs in Scala
coq formal-methods formalization gadt gadts lambda-calculus scala
Last synced: 20 Mar 2025
