20 results found Sort:

louthy
language-ext louthy
411
6.2k
mit
181
C# functional language extensions - a base class library for functional programming
bcl monad lenses monads monoid c-sharp f-sharp functor records semigroup applicative language-ext immutable-types monad-transformers ad-hoc-polymorphism higher-kinded-types structural-equality functional-languages immutable-collections functional-programming
Created 2014-11-16
3,392 commits to main branch, last one 7 days ago
llh911001
mostly-adequate-guide-chinese llh911001
327
2.5k
other
75
函数式编程指南中文版
curry monad functor functional-js functional-programming
Created 2015-07-16
167 commits to master branch, last one about a year ago
evilsoft
crocks evilsoft
102
1.6k
isc
39
A collection of well known Algebraic Data Types for your utter enjoyment.
adt lift pair curry monad monoid functor composition unary-functions predicate-functions
Created 2016-07-02
599 commits to master branch, last one 3 years ago
gigobyte
purify gigobyte
56
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,098 commits to master branch, last one 5 days ago
JasonShin
fp-core.rs JasonShin
63
1.3k
mit
39
A library for functional programming in Rust
hkt rust monad monoid comonad functor morphism applicative homomorphism category-theory lambda-calculus functional-programming
Created 2019-05-29
278 commits to master branch, last one 4 years ago
witchcrafters
witchcraft witchcrafters
58
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
thma
LtuPatternFactory thma
39
977
apache-2.0
27
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
monad functor haskell monoids functors traversable typeclasses gof-patterns reader-monad builder-pattern category-theory design-patterns factory-pattern typeclassopedia iterator-pattern pattern-language strategy-pattern monad-transformers function-composition functional-languages
Created 2018-10-05
273 commits to master branch, last one 2 years ago
palatable
lambda palatable
87
855
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
770
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
jwiegley
category-theory jwiegley
67
735
bsd-3-clause
19
An axiom-free formalization of category theory in Coq for personal study and practical work
coq monad monoid functor category comonads cartesian categories profunctor construction category-theory profunctor-composition cartesian-closed-category
Created 2014-07-04
1,527 commits to master branch, last one about a month ago
bow-swift
bow bow-swift
32
642
other
20
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
fp bow mtl spm monad swift effects functor carthage cocoapods free-monad composition hacktoberfest swift-library tagless-final category-theory reactive-programming functional-programming declarative-programming
Created 2018-03-07
906 commits to master branch, last one 2 years ago
uncomplicate
fluokitten uncomplicate
35
462
epl-1.0
20
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
monad monoid clojure functor category-theory clojure-library
Created 2013-05-19
156 commits to master branch, last one 15 days ago
thma
WhyHaskellMatters thma
14
462
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
dmitriz
functional-examples dmitriz
23
179
mit
8
Examples with Functional JavaScript, following Professor Frisby's course
monad functor functional-js category-theory functional-programming
Created 2016-12-09
162 commits to master branch, last one 11 months ago
cheogo
learn-javascript cheogo
16
141
mit
10
《前端基础漫游指南》深入的、系统的学习 javascript 基础，喜欢点 Star
gc v8 ast jit curry functor eventloop prototype javascript
Created 2017-09-25
32 commits to master branch, last one 5 years ago
functionalland
functional functionalland
2
109
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
97
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 9 days ago
Gbury
dolmen Gbury
16
75
bsd-2-clause
10
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp tptp model ocaml parse functor smt-lib language typechecker ocaml-library theorem-proving flexible-parsers
Created 2016-02-06
654 commits to master branch, last one 2 months ago
dmitriz
cpsfy dmitriz
1
69
mit
3
🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
monad stream functor reducer callback variadic point-free applicative composition asynchronous continuation control-flow callback-manager curried-functions asynchronous-tasks continuation-tasks continuation-passing functional-programming asynchronous-programming continuation-passing-style
Created 2018-05-14
857 commits to master branch, last one 23 days ago
madnight
awesome-category-theory madnight
1
51
mit
3
A curated list of awesome Category Theory resources.
monads functor monoids category functors applicative mathematics type-theory awesome-list category-theory abstract-algebra applied-category-theory natural-transformations category-theory-for-programmers
Created 2023-07-30
35 commits to main branch, last one 3 months ago