Rings: efficient JVM library for polynomial rings
Algebraic Data Types for Elixir: Both functional and fun.
A type-safe and space-efficient sum type for C# (comparable to discrimin...
Monadic middleware
PEG parser generator for Java 17 - grammar as algebraic datatypes
A fragmentary bidirectional type system as a Python library
Type safe utils inspired from the Rust language for writing better Type...
A small, straightforward library bringing the benefits of functional pro...
Algebraic data type (ADT) to represent the state of data that is loading...
A code generator enabling sum-types in Dart
Generic immutable recursive data representation API targeted at source c...
AIFAD - Automated Induction of Functions over Algebraic Data Types
🗃 A mono-repository with functional programming helpers, algebraic data ...
Functional Enum type / Sum type for javascript with simple pattern matching
Solutions to exercises from the book Haskell Programming