datatype99
Data types
Algebraic data types for C99 with exhaustive pattern matching and compile-time introspection facilities.
Algebraic data types for C99
1k stars
14 watching
23 forks
Language: C
last commit: 11 months ago
Linked from 1 awesome list
adtalgebraicalgebraic-data-typesc99deriveintrospectionmetalang99metaprogrammingpattern-matchingreflection-librarysum-typestagged-unionstype-systemvariant
oz123/awesome-cRelated projects:
| Repository | Description | Stars |
|---|---|---|
 suzannesoy/phc-adt | A library providing support for algebraic data types in Racket, useful for compiler implementation and custom data structures. | 2 |
 solodon4/mach7 | A C++ library providing a functional programming style pattern-matching mechanism | 1,286 |
 stylewarning/cl-algebraic-data-type | A Common Lisp implementation of algebraic data types with features like pattern matching and mutable data structures. | 138 |
 ahrefs/atd | Defines cross-language data types to generate efficient and type-safe serializers, deserializers, and validators for various programming languages. | 317 |
 sviperll/adt4j | Algebraic Data Types for Java implementation | 145 |
 arthuraa/deriving | Automatically generates boilerplate code for Coq inductive types | 24 |
 dedbox/racket-algebraic | Provides a Racket extension for untyped algebraic data structures with first-class support for sums and products. | 75 |
 radix/sumtypes | Provides Algebraic Data Types in Python | 42 |
 typedefs/typedefs | A language-agnostic way to define algebraic data types using polynomials. | 367 |
 hott/coq-hott | A Coq library for interpreting Martin-Löf's intensional type theory into abstract homotopy theory and relating it to higher category theory. | 1,262 |
 davyjoneslocker/postgres_ext | Adds support for missing PostgreSQL data types to ActiveRecord in Ruby on Rails applications | 643 |
 pa-ba/compdata | A Haskell library for creating and manipulating compositional data types in a modular and flexible way | 89 |
 mknejp/dotvariant | A type-safe sum type library for C# that enables the creation of compact variants with compile-time checked constraints and generated interfaces. | 70 |
 evilsoft/crocks | A collection of well-known Algebraic Data Types and their associated helper functions for functional programming in JavaScript. | 1,592 |
 derive4j/derive4j | An annotation processor and framework for deriving algebraic data types and related constructs in Java. | 566 |