34 results found Sort:

gcanti
fp-ts gcanti
503
10.6k
mit
103
Functional programming in TypeScript
typescript algebraic-data-types functional-programming
Created 2017-01-25
2,883 commits to master branch, last one 3 days ago
fluture-js
Fluture fluture-js
84
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 5 months ago
origamitower
folktale origamitower
103
2.0k
mit
55
[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 2 years ago
functionaljava
functionaljava functionaljava
252
1.6k
unknown
84
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
enkimute
ganja.js enkimute
106
1.5k
mit
36
: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 5 months ago
gigobyte
purify gigobyte
57
1.5k
isc
11
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,102 commits to master branch, last one 3 days ago
Hirrolot
datatype99 Hirrolot
24
1.3k
mit
15
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
515 commits to master branch, last one about a month ago
solodon4
Mach7 solodon4
79
1.3k
other
66
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 2 years ago
witchcrafters
witchcraft witchcrafters
57
1.2k
mit
31
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
86
858
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
40
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 4 years ago
derive4j
derive4j derive4j
50
560
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 2 years ago
stepchowfun
typical stepchowfun
10
558
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
969 commits to main branch, last one a day ago
breandan
kotlingrad breandan
21
513
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,669 commits to master branch, last one about a year ago
thma
WhyHaskellMatters thma
14
465
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 3 years ago
thautwarm
MLStyle.jl thautwarm
38
394
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 3 months ago
kongware
scriptum kongware
22
382
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,754 commits to master branch, last one about a month ago
witchcrafters
algae witchcrafters
17
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
adam-mcdaniel
sage adam-mcdaniel
12
339
mit
6
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
556 commits to main branch, last one 5 days ago
devexperts
remote-data-ts devexperts
28
288
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 11 months ago
jspahrsummers
adt jspahrsummers
14
172
mit
8
Algebraic data types for Python (experimental, not actively maintained)
python3 sum-types tagged-unions algebraic-data-types
Created 2019-06-26
137 commits to master branch, last one 3 years ago
spotify
dataenum spotify
16
163
apache-2.0
17
Algebraic data types in Java.
java algebraic-data-types
Created 2017-12-14
138 commits to master branch, last one 8 months ago
stylewarning
cl-algebraic-data-type stylewarning
8
133
bsd-3-clause
7
Algebraic data types in Common Lisp
common-lisp algebraic-data-types functional-programming
Created 2018-02-04
44 commits to master branch, last one 4 months ago
fogfish
datum fogfish
8
123
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 10 months ago
jasonkuhrt
alge jasonkuhrt
4
112
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 6 months ago
functionalland
functional functionalland
2
110
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
baetheus
fun baetheus
6
99
mit
10
A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
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 about a month ago
MasonProtter
SumTypes.jl MasonProtter
8
97
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
116 commits to master branch, last one 16 days ago
PoslavskySV
rings PoslavskySV
10
72
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 8 months ago
Qqwy
elixir-fun_land Qqwy
4
70
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 2 years ago