codeinred / recursive-variant Star 99 Code Issues Pull requests Recursive Variant: A simple library for Recursive Variant Types cpp functional-programming recursion variants header-only variant sum-types cpp20 recursive-types header-only-library Updated May 28, 2025 C++
ephel-lang / nethra Star 16 Code Issues Pull requests Minimal core language based on dependent function type, pair type, recursive type, sum type and record type. dependent-types sum-types recursive-types record-types sigma-types propositional-equality pi-types Updated Mar 17, 2026 OCaml
paoloboni / spray-json-derived-codecs Star 4 Code Issues Pull requests Derived codecs for spray-json for Scala 3.x and 2.x polymorphic-types spray-json recursive-types derived-codecs auto-derivation Updated Dec 15, 2024 Scala
ltzone / Full-Iso-Recursive-Types Star 2 Code Issues Pull requests Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types" coq-formalization type-system recursive-types Updated Aug 31, 2024 Coq
CharlesAverill / ptt Star 1 Code Issues Pull requests Materials for Practical Type Theory reading course dependent-types ocaml lambda-calculus type-theory polymorphism recursive-types Updated Sep 19, 2026 OCaml
mr-know-it-all / haskell-playground Star 1 Code Issues Pull requests haskell quicksort quickcheck length rule-110 custom-types church-encodings recursive-types Updated Oct 5, 2019 Haskell
moueza / isbn-2-7298-1910-X-programmation-par-l-exemple-en-Caml-violet Star 0 Code Issues Pull requests Violet Caml caml violet recursive-types infinite-types Updated Nov 8, 2025 HTML