All Categories → Computer Science → algebraic-data-types

Top 40 algebraic-data-types open source projects

Poica
🧮 A research programming language on top of C macros
Mlstyle.jl
Julia functional programming infrastructures and metaprogramming facilities
Swift Enum Properties
🤝 Struct and enum data access in harmony.
Folktale
[not actively maintained!] A standard library for functional programming in JavaScript
Expat
Reusable, composable patterns across Elixir libraries
Plate
Principled schema system for JSON. Work in progress.
Dataenum
Algebraic data types in Java.
Adt
Algebraic data types for Python (experimental, not actively maintained)
Datum
pure functional and generic programming for Erlang
Ganja.js
📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
Mach7
Functional programming style pattern-matching library for C++
Rings
Rings: efficient JVM library for polynomial rings
Enum Fp
Functional Enum type / Sum type for javascript with simple pattern matching
Purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
Static Land
Specification for common algebraic structures in JavaScript based on Fantasy Land
Derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Whyhaskellmatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
Algae
Bootstrapped algebraic data types for Elixir
concurrify
Turn non-concurrent FantasyLand Applicatives concurrent
aifad
AIFAD - Automated Induction of Functions over Algebraic Data Types
typy
A fragmentary bidirectional type system as a Python library
sum types.dart
A code generator enabling sum-types in Dart
dart meta types
a code gen solution for defining sealed classes, data classes, and enum classes for dart.
bitty
🗃 A mono-repository with functional programming helpers, algebraic data types, util functions, types and even some micro frameworks in TypeScript.
vallang
Generic immutable recursive data representation API targeted at source code models and more.
mutoid
Reactive library for data fetching, caching, state management
mir-core
Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.
dotvariant
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
RemoteDataK
Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
1-40 of 40 algebraic-data-types projects