#

recursive-types

Here are 6 public repositories matching this topic...

recursive-variant

codeinred / recursive-variant

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

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

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

Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"

coq-formalization type-system recursive-types

Updated Aug 31, 2024
Coq

mr-know-it-all / haskell-playground

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

Violet Caml

caml violet recursive-types infinite-types

Updated Nov 8, 2025
HTML

Add this topic to your repo

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