Poica🧮 A research programming language on top of C macros
Mlstyle.jlJulia functional programming infrastructures and metaprogramming facilities
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Folktale[not actively maintained!] A standard library for functional programming in JavaScript
ExpatReusable, composable patterns across Elixir libraries
PlatePrincipled schema system for JSON. Work in progress.
AdtAlgebraic data types for Python (experimental, not actively maintained)
Datumpure functional and generic programming for Erlang
ImtoolsFast and memory-efficient immutable collections and helper data structures
Ganja.js📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
Mach7Functional programming style pattern-matching library for C++
RingsRings: efficient JVM library for polynomial rings
Enum FpFunctional Enum type / Sum type for javascript with simple pattern matching
PurifyFunctional programming library for TypeScript - https://gigobyte.github.io/purify/
LambdaFunctional patterns for Java
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
WhyhaskellmattersIn 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.
ScriptumA fool's scriptum on functional programming
AlgaeBootstrapped algebraic data types for Elixir
concurrifyTurn non-concurrent FantasyLand Applicatives concurrent
aifadAIFAD - Automated Induction of Functions over Algebraic Data Types
typyA fragmentary bidirectional type system as a Python library
dart meta typesa 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.
vallangGeneric immutable recursive data representation API targeted at source code models and more.
mutoidReactive library for data fetching, caching, state management
typicalData interchange with algebraic data types.
heidiheidi : tidy data in Haskell
mir-coreBase software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.
dotvariantA type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
RemoteDataKAlgebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations