gadts

Here are 7 public repositories matching this topic...

A functional programming language based on system F (omega) ft. NbE and higher order unification

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

kotlin haskell scala types type-theory type-level gadts

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

Formal foundations for GADTs in Scala

scala lambda-calculus coq gadt formal-methods formalization gadts

german introduction slides to gadts in ocaml

ocaml gadts

🐫 Hexagonal Architecture & Design Pattern Detector for OCaml (OCaml 4.14 - 5.3+ / Multicore)

ddd static-analysis ocaml design-patterns lwt hexagonal-architecture multicore dune sarif functors effect-handlers gadts ocaml5

A small dependently-typed language whose type system enforces ten safety and security guarantees at compile time.

To associate your repository with the gadts topic, visit your repo's landing page and select "manage topics."