Movatterモバイル変換

Skip to content

#

algebraic-data-types

Here are 189 public repositories matching this topic...

Language:All

Filter by language

All189 TypeScript30 JavaScript21 Java17 Haskell14 Python13 C++11 Scala8 Rust6 C5 C#5

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

fp-ts

gcanti /fp-ts

Functional programming in TypeScript

typescript functional-programming algebraic-data-types

UpdatedAug 18, 2025
TypeScript

fluture-js /Fluture

🦋 Fantasy Land compliant (monadic) alternative to Promises

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

UpdatedApr 22, 2024
JavaScript

origamitower /folktale

[not actively maintained!] A standard library for functional programming in JavaScript

javascript functional algebraic-data-types

UpdatedSep 18, 2021
JavaScript

functionaljava /functionaljava

Functional programming in Java

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

UpdatedApr 25, 2023
Java

gigobyte /purify

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

UpdatedJul 24, 2025
TypeScript

enkimute /ganja.js

📐 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

UpdatedJan 20, 2024
JavaScript

hirrolot /datatype99

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

UpdatedMar 17, 2025
C

solodon4 /Mach7

Functional programming style pattern-matching library for C++

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

UpdatedOct 22, 2021
C++

witchcrafters /witchcraft

Monads and other dark magic for Elixir

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

UpdatedAug 28, 2023
Elixir

palatable /lambda

Functional patterns for Java

java lambda functional-programming tuples io-monad algebraic-data-types monad functor lenses monoid semigroup optics either hlist profunctors traversable coproduct maybe-monad bifunctors try-monad

UpdatedMay 1, 2023
Java

fantasyland /static-land

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

UpdatedOct 29, 2019
JavaScript

stepchowfun /typical

Data interchange with algebraic data types.

serialization types idl algebraic-data-types type-safety data-interchange interface-definition-language interface-description-language

UpdatedSep 6, 2025
Rust

derive4j /derive4j

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

UpdatedDec 1, 2022
Java

kotlingrad

breandan /kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

kotlin types computer-algebra optimization linear-algebra automatic-differentiation algebraic-data-types chinese gradient-descent message-passing symbolic-differentiation differentiable-programming multi-stage-programming array-programming shape-safety

UpdatedDec 17, 2024
Kotlin

adam-mcdaniel /sage

A programming language that's wise beyond its bytes!🌱🌿🪴

c rust mobile web frontend compiler portable pattern-matching x86-64 wasm algebraic-data-types polymorphism turing-tarpit structural-typing

UpdatedJun 13, 2025
Rust

thma /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.

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

UpdatedDec 15, 2023
Haskell

MLStyle.jl

thautwarm /MLStyle.jl

Julia functional programming infrastructures and metaprogramming facilities

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

UpdatedSep 9, 2025
Julia

witchcrafters /algae

Bootstrapped algebraic data types for Elixir

dsl algebraic-data-types data-structures adt

UpdatedOct 22, 2022
Elixir

devexperts /remote-data-ts

RemoteData type

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

UpdatedOct 16, 2023
TypeScript

pointfreeco /swift-enum-properties

🤝 Struct and enum data access in harmony.

algebraic-data-types code-generation

UpdatedAug 17, 2021
Swift

Improve this page

Add a description, image, and links to thealgebraic-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 thealgebraic-data-types topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp