36 results found Sort:

gcanti
fp-ts gcanti
504
10.9k
mit
102
Functional programming in TypeScript
typescript algebraic-data-types functional-programming
Created 2017-01-25
2,890 commits to master branch, last one 2 months ago
fluture-js
Fluture fluture-js
83
2.5k
mit
26
🦋 Fantasy Land compliant (monadic) alternative to Promises
async monad future fluture promise sanctuary cancellation control-flow fantasy-land algebraic-data-types functional-programming
Created 2016-03-06
1,263 commits to master branch, last one 11 months ago
origamitower
folktale origamitower
102
2.0k
mit
54
[not actively maintained!] A standard library for functional programming in JavaScript
functional javascript algebraic-data-types
Created 2015-05-11
618 commits to master branch, last one 3 years ago
functionaljava
functionaljava functionaljava
253
1.6k
unknown
85
Functional programming in Java
java monad monoid optics algebra effects algebraic-data-types functional-programming property-based-testing persistent-data-structure
Created 2010-10-29
1,161 commits to series/5.x branch, last one 2 years ago
gigobyte
purify gigobyte
59
1.5k
isc
10
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
codec maybe monad decode either functor typescript option-type result-type fantasy-land algebraic-data-types functional-programming
Created 2018-02-06
1,126 commits to master branch, last one 12 days ago
enkimute
ganja.js enkimute
107
1.5k
mit
37
:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
rust csharp python cplusplus javascript complex-numbers clifford-algebras geometric-algebra quaternion-algebra algebraic-data-types operator-overloading
Created 2017-08-01
923 commits to master branch, last one 11 months ago
hirrolot
datatype99 hirrolot
23
1.4k
mit
14
Algebraic data types for C99
adt c99 derive variant algebraic sum-types metalang99 type-system introspection tagged-unions metaprogramming pattern-matching reflection-library algebraic-data-types
Created 2020-11-12
521 commits to master branch, last one 19 days ago
solodon4
Mach7 solodon4
78
1.3k
other
65
Functional programming style pattern-matching library for C++
adt pattern variant visitor visitor-pattern pattern-matching algebraic-data-types
Created 2014-05-27
590 commits to master branch, last one 3 years ago
witchcrafters
witchcraft witchcrafters
59
1.2k
mit
30
Monads and other dark magic for Elixir
monad elixir algebra functor category operators type-class applicative traversable algebraic-data-types
Created 2015-10-06
193 commits to main branch, last one 2 years ago
palatable
lambda palatable
85
867
mit
42
Functional patterns for Java
java hlist monad either lambda lenses monoid optics tuples functor io-monad coproduct semigroup try-monad bifunctors maybe-monad profunctors traversable algebraic-data-types functional-programming
Created 2014-01-26
707 commits to master branch, last one about a year ago
fantasyland
static-land fantasyland
41
771
mit
23
Specification for common algebraic structures in JavaScript based on Fantasy Land
adt monad monoid algebra functor algebraic static-land fantasy-land specification algebraic-data-types functional-programming
Created 2016-03-12
160 commits to master branch, last one 5 years ago
stepchowfun
typical stepchowfun
11
603
other
8
Data interchange with algebraic data types.
idl types type-safety serialization data-interchange algebraic-data-types interface-definition-language interface-description-language
Created 2021-03-11
983 commits to main branch, last one 20 days ago
derive4j
derive4j derive4j
50
566
unknown
30
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
fold java java-8 optics algebra visitor derive4j laziness sum-types catamorphisms tagged-unions visitor-pattern algebraic-data-types annotation-processor discriminated-unions functional-programming exhaustiveness-checking
Created 2015-09-18
253 commits to master branch, last one 3 years ago
breandan
kotlingrad breandan
21
532
apache-2.0
20
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
types kotlin chinese optimization shape-safety linear-algebra message-passing computer-algebra gradient-descent array-programming algebraic-data-types multi-stage-programming symbolic-differentiation automatic-differentiation differentiable-programming
Created 2018-10-19
1,672 commits to master branch, last one 4 days ago
adam-mcdaniel
sage adam-mcdaniel
17
482
mit
7
A programming language that's wise beyond its bytes!🌱🌿🪴
c web rust wasm mobile x86-64 compiler frontend portable polymorphism turing-tarpit pattern-matching structural-typing algebraic-data-types
Created 2022-04-20
688 commits to main branch, last one 3 months ago
thma
WhyHaskellMatters thma
14
471
apache-2.0
18
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. ...
monads folding functor haskell mapping foldable type-classes lazy-evaluation pattern-matching polymorphic-types list-comprehension anonymous-functions partial-application algebraic-data-types function-composition explicit-side-effects first-class-functions functional-programming higher-order-functions declarative-programming
Created 2020-02-05
89 commits to master branch, last one 4 years ago
thautwarm
MLStyle.jl thautwarm
39
405
mit
10
Julia functional programming infrastructures and metaprogramming facilities
scalability syntax-sugar pattern-matching algebraic-data-types statically-generated
Created 2018-08-12
452 commits to main branch, last one 9 months ago
kongware
scriptum kongware
21
383
mit
15
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
monad purity folding lazyness recursion sum-types javascript point-free anamorphism composition corecursion transducers catamorphism polymorphism pure-function tagged-unions monad-transformers algebraic-data-types function-composition functional-programming
Created 2018-02-21
3,800 commits to master branch, last one 25 days ago
witchcrafters
algae witchcrafters
18
341
mit
12
Bootstrapped algebraic data types for Elixir
adt dsl data-structures algebraic-data-types
Created 2015-11-22
101 commits to main branch, last one 2 years ago
devexperts
remote-data-ts devexperts
28
290
mpl-2.0
32
RemoteData type
fp-ts typescript algebraic-data-types functional-programming
Created 2018-03-13
164 commits to master branch, last one about a year ago
jspahrsummers
adt jspahrsummers
14
171
mit
8
Algebraic data types for Python (experimental, not actively maintained)
python3 sum-types tagged-unions algebraic-data-types
This repository has been archived (exclude archived)
Created 2019-06-26
137 commits to master branch, last one 3 years ago
spotify
dataenum spotify
16
166
apache-2.0
16
Algebraic data types in Java.
java algebraic-data-types
Created 2017-12-14
138 commits to master branch, last one about a year ago
stylewarning
cl-algebraic-data-type stylewarning
9
138
bsd-3-clause
7
Algebraic data types in Common Lisp
common-lisp algebraic-data-types functional-programming
Created 2018-02-04
45 commits to master branch, last one 4 months ago
fogfish
datum fogfish
9
124
apache-2.0
11
pure functional and generic programming for Erlang
erlang lenses monads streams foldable traversable data-structures category-pattern generic-programming algebraic-data-types
Created 2013-05-28
328 commits to master branch, last one about a year ago
jasonkuhrt
alge jasonkuhrt
4
117
mit
2
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱
adt data typescript algebraic-data-types
Created 2022-03-27
522 commits to main branch, last one about a year ago
functionalland
functional functionalland
2
111
mit
6
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
deno fold task maybe either monoid browser functor denoland io-monad functional task-monad maybe-monad catamorphism either-monad category-theory algebraic-data-types functional-programming
Created 2020-08-18
43 commits to main branch, last one 3 years ago
MasonProtter
SumTypes.jl MasonProtter
8
106
mit
5
An implementation of sum types in Julia
enums julia sum-types enumeration disjoint-unions pattern-matching algebraic-data-types
Created 2020-09-23
117 commits to master branch, last one 3 months ago
baetheus
fun baetheus
7
103
mit
10
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
deno task monad either option effects functor typescript higher-kinded-types algebraic-data-types functional-programming
Created 2021-04-12
140 commits to main branch, last one 7 months ago
PoslavskySV
rings PoslavskySV
10
74
unknown
7
Rings: efficient JVM library for polynomial rings
algebra mathematics polynomials factorization finite-fields groebner-basis commutative-algebra algebraic-data-types polynomial-arithmetic algebraic-calculations multivariate-polynomials
Created 2017-03-16
549 commits to develop branch, last one about a year ago
Qqwy
elixir-fun_land Qqwy
4
73
mit
6
Algebraic Data Types for Elixir: Both functional and fun.
adt monad elixir fun-land elixir-lang algebraic-data-types
Created 2016-07-08
133 commits to master branch, last one 3 years ago