Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: 03 Nov 2024

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: 17 Oct 2024

https://github.com/radeusgd/pdot-gadt

Formal foundations for GADTs in Scala

coq formal-methods formalization gadt gadts lambda-calculus scala

Last synced: 13 Oct 2024