21 results found Sort:

louthy
language-ext louthy
432
6.7k
mit
185
C# pure functional programming framework - come and get declarative!
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,776 commits to main branch, last one 22 days ago
llh911001
mostly-adequate-guide-chinese llh911001
335
2.5k
other
74
函数式编程指南中文版
curry monad functor functional-js functional-programming
Created 2015-07-16
167 commits to master branch, last one 2 years ago
evilsoft
crocks evilsoft
102
1.6k
isc
37
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
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,132 commits to master branch, last one 27 days ago
JasonShin
fp-core.rs JasonShin
66
1.4k
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 5 years ago
witchcrafters
witchcraft witchcrafters
60
1.2k
mit
29
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 3 years ago
thma
LtuPatternFactory thma
38
999
apache-2.0
25
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 3 years ago
palatable
lambda palatable
85
871
mit
41
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
775
mit
22
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
jwiegley
category-theory jwiegley
72
768
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,552 commits to master branch, last one 6 days ago
bow-swift
bow bow-swift
33
650
other
19
🏹 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 3 years ago
uncomplicate
fluokitten uncomplicate
35
470
epl-1.0
19
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 10 months ago
thma
WhyHaskellMatters thma
14
469
apache-2.0
17
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
dmitriz
functional-examples dmitriz
22
180
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 about a year ago
cheogo
learn-javascript cheogo
16
142
mit
10
《前端基础漫游指南》深入的、系统的学习 javascript 基础，喜欢点 Star
gc v8 ast jit curry functor eventloop prototype javascript
Created 2017-09-25
32 commits to master branch, last one 6 years ago
madnight
awesome-category-theory madnight
5
113
mit
2
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 about a year ago
functionalland
functional functionalland
2
111
mit
5
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 4 years ago
baetheus
fun baetheus
7
105
mit
8
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 10 months ago
Gbury
dolmen Gbury
18
84
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
666 commits to master branch, last one 10 days ago
dmitriz
cpsfy dmitriz
2
70
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
881 commits to master branch, last one 4 months ago
chakravala
DirectSum.jl chakravala
4
50
agpl-3.0
3
Tangent bundle, vector space and Submanifold definition
math functor tensors manifold manifolds type-system linear-algebra tensor-algebra category-theory abstract-algebra compositionality applied-category-theory
Created 2019-02-08
91 commits to master branch, last one 19 days ago