9 results found Sort:

louthy
language-ext louthy
415
6.3k
mit
180
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,397 commits to main branch, last one 3 days ago
JasonShin
fp-core.rs JasonShin
65
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
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
pcapriotti
optparse-applicative pcapriotti
114
901
bsd-3-clause
19
Applicative option parser
haskell applicative option-parser
Created 2012-05-11
818 commits to master branch, last one 29 days ago
pointfreeco
swift-web pointfreeco
34
477
mit
14
🕸 A collection of Swift server-side frameworks for handling HTML, CSS, routing and middleware.
css html swift routing middleware applicative composition functional-programming
Created 2017-07-06
244 commits to main branch, last one 9 months ago
typemeta
funcj typemeta
11
103
mit
3
Assorted functional-oriented data structures and algorithms for Java.
java json codec monads applicative parser-combinators functional-programming
Created 2017-01-14
743 commits to master branch, last one about a month 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 about a month ago
kowainik
validation-selective kowainik
11
65
mpl-2.0
7
💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
haskell functors selective validation applicative haskell-libraries
Created 2020-03-05
52 commits to main branch, last one about a month ago
madnight
awesome-category-theory madnight
1
54
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 4 months ago