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

#

algebraic-data-types

Here are 126 public repositories matching this topic...

fp-ts

gcanti / fp-ts

Star

Functional programming in TypeScript

typescript functional-programming algebraic-data-types

Updated Aug 22, 2021
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 Aug 12, 2021
JavaScript

origamitower / folktale

Star

A standard library for functional programming in JavaScript

javascript functional algebraic-data-types

Updated Jun 28, 2021
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 Aug 18, 2021
Java

enkimute / ganja.js

Sponsor 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 Aug 19, 2021
JavaScript

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++

gigobyte / purify

Star

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

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

Updated Aug 25, 2021
TypeScript

witchcrafters / witchcraft

Star

Monads and other dark magic for Elixir

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

Updated May 7, 2021
Elixir

palatable / lambda

Star

Functional patterns for Java

Updated May 9, 2021
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 Aug 17, 2021
Java

Hirrolot / datatype99

Star

Algebraic data types for C99

pattern-matching c99 metaprogramming algebraic-data-types introspection adt type-system variant derive algebraic sum-types reflection-library tagged-unions metalang99

Updated Aug 13, 2021
C

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 Aug 15, 2021
JavaScript

witchcrafters / algae

Star

Bootstrapped algebraic data types for Elixir

dsl algebraic-data-types data-structures adt

Updated Mar 15, 2021
Elixir

MLStyle.jl

thautwarm / MLStyle.jl

Star

Julia functional programming infrastructures and metaprogramming facilities

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

Updated Jun 2, 2021
Julia

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 Feb 6, 2021
C

devexperts / remote-data-ts

Star

RemoteData type

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

Updated Aug 17, 2021
TypeScript

pointfreeco / swift-enum-properties

Star

🤝 Struct and enum data access in harmony.

algebraic-data-types code-generation

Updated Aug 17, 2021
Swift

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

spotify / dataenum

Star

Algebraic data types in Java.

java algebraic-data-types

Updated Oct 13, 2020
Java

jspahrsummers / adt

Star

Algebraic data types for Python (experimental, not actively maintained)

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

Updated May 25, 2021
Python

seagreen / plate

Star

Principled schema system for JSON. Work in progress.

schema algebraic-data-types parametric-polymorphism

Updated Jan 30, 2020
Haskell

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

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-tree reference-semantics

Updated Aug 19, 2021
C#

functional

functionalland / functional

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 Jun 10, 2021
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

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 Aug 2, 2021
Elixir

fluture-js / momi

Star

Monadic middleware

middleware algebraic-data-types monad fluture

Updated Apr 6, 2021
JavaScript

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."