| palatable/lambda |
831 |
|
5 |
9 |
almost 3 years ago |
33 |
March 14, 2022 |
16 |
mit |
Java |
| Functional patterns for Java |
| typelevel/cats-mtl |
303 |
|
0 |
67 |
about 2 years ago |
12 |
March 09, 2020 |
15 |
other |
Scala |
| cats transformer type classes. |
| HeinrichApfelmus/operational |
78 |
|
25 |
0 |
over 2 years ago |
18 |
February 19, 2023 |
3 |
other |
Haskell |
| Implement monads by specifying instructions and their desired operational semantics. |
| ekmett/comonad |
77 |
|
189 |
0 |
over 2 years ago |
53 |
July 01, 2018 |
9 |
other |
Haskell |
| Haskell 98 comonads |
| functional-php/fantasy-land |
26 |
|
4 |
1 |
almost 3 years ago |
2 |
January 19, 2021 |
1 |
bsd-3-clause |
PHP |
| Specification for interoperability of common algebraic structures in PHP |
| folktale/laws |
14 |
|
20 |
28 |
over 6 years ago |
3 |
April 11, 2014 |
1 |
mit |
LiveScript |
| [Unmaintained] |
| serokell/hse-haskell-course-src |
13 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
|
TeX |
| gcanti/mtl-ts |
10 |
|
0 |
2 |
about 8 years ago |
2 |
February 16, 2018 |
0 |
mit |
TypeScript |
| MTL-style in TypeScript |
| QuqqU/SplayDict |
10 |
|
0 |
0 |
almost 8 years ago |
5 |
July 04, 2018 |
0 |
mit |
Swift |
| Monad Based on Splay Tree for Pareto's Law. |
| hablapps/LensStateIsYourFather |
10 |
|
0 |
0 |
about 8 years ago |
0 |
|
0 |
apache-2.0 |
Coq |
| Lens, State is your father... and I can prove It! |
