The Wayback Machine - https://web.archive.org/web/20201213220844/https://github.com/topics/algebraic-data-types

#

algebraic-data-types

Here are 109 public repositories matching this topic...

fp-ts

gcanti / fp-ts

Star

Functional programming in TypeScript

typescript functional-programming algebraic-data-types

Updated Dec 12, 2020
TypeScript

fluture-js / Fluture

Star

🦋 Fantasy Land compliant (monadic) alternative to Promises

functional-programming async promise algebraic-data-types monad control-flow future fantasy-land sanctuary cancellation fluture

Updated Dec 1, 2020
JavaScript

origamitower / folktale

Star

A standard library for functional programming in JavaScript

javascript functional algebraic-data-types

Updated Oct 29, 2019
JavaScript

functionaljava / functionaljava

Star

Functional programming in Java

java algebra functional-programming effects algebraic-data-types monad property-based-testing persistent-data-structure monoid optics

Updated Oct 30, 2020
Java

solodon4 / Mach7

Star

Functional programming style pattern-matching library for C++

pattern pattern-matching algebraic-data-types visitor visitor-pattern adt variant

Updated Dec 27, 2019
C++

witchcrafters / witchcraft

Star

Monads and other dark magic for Elixir

elixir algebra algebraic-data-types monad functor operators category applicative type-class traversable

Updated Nov 27, 2020
Elixir

enkimute / ganja.js

Star

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

javascript python rust csharp cplusplus algebraic-data-types complex-numbers geometric-algebra operator-overloading quaternion-algebra clifford-algebras

Updated Dec 9, 2020
JavaScript

gigobyte / purify

Star

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

typescript validation functional-programming algebraic-data-types monad functor option-type fantasy-land maybe either result-type

Updated Dec 10, 2020
TypeScript

palatable / lambda

Star

Functional patterns for Java

Updated Dec 12, 2020
Java

fantasyland / static-land

Star

Specification for common algebraic structures in JavaScript based on Fantasy Land

algebra functional-programming algebraic-data-types specification monad functor monoid fantasy-land adt algebraic static-land

Updated Oct 29, 2019
JavaScript

derive4j / derive4j

Star

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

java algebra functional-programming fold annotation-processor algebraic-data-types visitor java-8 optics visitor-pattern discriminated-unions sum-types laziness derive4j catamorphisms exhaustiveness-checking tagged-unions

Updated Feb 6, 2020
Java

thma / WhyHaskellMatters

Star

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.

monads haskell functional-programming mapping pattern-matching anonymous-functions algebraic-data-types functor higher-order-functions polymorphic-types lazy-evaluation folding function-composition foldable list-comprehension type-classes declarative-programming partial-application first-class-functions explicit-side-effects

Updated Oct 26, 2020
Haskell

kongware / scriptum

Star

A fool's scriptum on functional programming

javascript functional-programming composition algebraic-data-types recursion monad transducers polymorphism monad-transformers purity pure-function sum-types folding function-composition point-free tagged-unions catamorphism anamorphism corecursion lazyness

Updated Dec 11, 2020
JavaScript

witchcrafters / algae

Star

Bootstrapped algebraic data types for Elixir

dsl algebraic-data-types data-structures adt

Updated Dec 24, 2019
Elixir

Hirrolot / poica

Star

🧮 A research programming language on top of C macros

c functional-programming pattern-matching algebraic-data-types error-handling header-only introspection discriminated-unions sum-types c-library exhaustiveness-checking tagged-unions poica

Updated Oct 30, 2020
C

MLStyle.jl

thautwarm / MLStyle.jl

Star

Julia functional programming infrastructures and metaprogramming facilities

pattern-matching scalability syntax-sugar algebraic-data-types statically-generated

Updated Aug 15, 2020
Julia

pointfreeco / swift-enum-properties

Star

🤝 Struct and enum data access in harmony.

algebraic-data-types code-generation

Updated Jun 23, 2020
Swift

devexperts / remote-data-ts

Star

RemoteData type

typescript functional-programming algebraic-data-types fp-ts

Updated Dec 10, 2020
TypeScript

vic / expat

Star

Reusable, composable patterns across Elixir libraries

elixir patterns pattern-matching macros algebraic-data-types union-types guards composable-patterns named-patterns

Updated Aug 14, 2018
Elixir

seagreen / plate

Star

Principled schema system for JSON. Work in progress.

schema algebraic-data-types parametric-polymorphism

Updated Jan 30, 2020
Haskell

spotify / dataenum

Star

Algebraic data types in Java.

java algebraic-data-types

Updated Oct 13, 2020
Java

fogfish / datum

Star

pure functional and generic programming for Erlang

monads erlang streams algebraic-data-types data-structures generic-programming lenses traversable foldable category-pattern

Updated Oct 1, 2019
Erlang

jspahrsummers / adt

Star

Algebraic data types for Python

python3 algebraic-data-types sum-types tagged-unions

Updated Oct 31, 2020
Python

sebastienfilion / functional

Sponsor Star

Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.

task functional browser functional-programming fold io-monad algebraic-data-types functor category-theory monoid maybe either either-monad task-monad maybe-monad catamorphism deno denoland

Updated Dec 11, 2020
JavaScript

stylewarning / cl-algebraic-data-type

Star

Algebraic data types in Common Lisp

functional-programming common-lisp algebraic-data-types

Updated Feb 13, 2020
Common Lisp

dadhi / ImTools

Star

Fast and memory-efficient immutable collections and helper data structures

map performance immutable avl-tree functional-programming dictionary value-semantics persistent algebraic-data-types data-structures zipper lock-free discriminated-unions memory-efficient sum-types compare-and-swap 2-3-4-tree reference-semantics

Updated Dec 3, 2020
C#

gcanti / fp-ts-codegen

Star

TypeScript code generation from a haskell-like syntax for ADT. Playground:

typescript algebraic-data-types fp-ts

Updated Nov 4, 2019
TypeScript

Qqwy / elixir-fun_land

Star

Algebraic Data Types for Elixir: Both functional and fun.

elixir algebraic-data-types monad elixir-lang adt fun-land

Updated Dec 13, 2020
Elixir

fluture-js / momi

Star

Monadic middleware

middleware algebraic-data-types monad fluture

Updated Aug 31, 2020
JavaScript

PoslavskySV / rings

Star

Rings: efficient JVM library for polynomial rings

algebra mathematics algebraic-data-types polynomials finite-fields factorization algebraic-calculations groebner-basis multivariate-polynomials polynomial-arithmetic commutative-algebra

Updated Nov 21, 2020
Java

Improve this page

Add a description, image, and links to the algebraic-data-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the algebraic-data-types topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.