datatype99

suzannesoy/phc-adt2

Data type library

A library providing support for algebraic data types in Racket, useful for compiler implementation and custom data structures.

solodon4/mach71.3K

Pattern matcher

A C++ library providing a functional programming style pattern-matching mechanism

stylewarning/cl-algebraic-data-type138

Data structure library

A Common Lisp implementation of algebraic data types with features like pattern matching and mutable data structures.

ahrefs/atd317

Data type definitions

Defines cross-language data types to generate efficient and type-safe serializers, deserializers, and validators for various programming languages.

sviperll/adt4j145

Data Type Library

Algebraic Data Types for Java implementation

arthuraa/deriving24

Inductive type generator

Automatically generates boilerplate code for Coq inductive types

dedbox/racket-algebraic75

Algebraic Data

Provides a Racket extension for untyped algebraic data structures with first-class support for sums and products.

radix/sumtypes42

Data types

Provides Algebraic Data Types in Python

typedefs/typedefs367

Type constructor

A language-agnostic way to define algebraic data types using polynomials.

hott/coq-hott1.3K

Homotopy Type Theory Library

A Coq library for interpreting Martin-Löf's intensional type theory into abstract homotopy theory and relating it to higher category theory.

davyjoneslocker/postgres_ext643

PostgreSQL data type extension

Adds support for missing PostgreSQL data types to ActiveRecord in Ruby on Rails applications

pa-ba/compdata89

Data type builder

A Haskell library for creating and manipulating compositional data types in a modular and flexible way

mknejp/dotvariant70

Variant library

A type-safe sum type library for C# that enables the creation of compact variants with compile-time checked constraints and generated interfaces.

evilsoft/crocks1.6K

Data types library

A collection of well-known Algebraic Data Types and their associated helper functions for functional programming in JavaScript.

derive4j/derive4j566

Algebraic Data Types framework

An annotation processor and framework for deriving algebraic data types and related constructs in Java.