| arrow-kt/arrow-meta |
381 |
|
0 |
2 |
about 2 years ago |
30 |
April 29, 2023 |
103 |
apache-2.0 |
Kotlin |
| Functional companion to Kotlin's Compiler |
| prolic/fpp |
281 |
|
2 |
0 |
over 4 years ago |
1 |
April 10, 2020 |
4 |
bsd-3-clause |
PHP |
| Functional PHP Preprocessor - Generate Immutable Data Types |
| Chymyst/curryhoward |
232 |
|
0 |
0 |
over 4 years ago |
15 |
August 23, 2021 |
5 |
apache-2.0 |
Scala |
| Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism |
| iTechArt/convtools-ita |
176 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
mit |
|
| convtools is a python library to declaratively define conversions for processing collections, doing complex aggregations and joins. |
| lac-dcc/wyvern |
52 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
gpl-3.0 |
C++ |
| Automatic conversion of call by value into call by need in the LLVM IR. |
| krakphp/fn |
23 |
|
2 |
3 |
over 3 years ago |
36 |
December 07, 2022 |
3 |
|
PHP |
| Functional library for PHP with proper currying |
| VladimirLogachev/servant-to-elm-example |
12 |
|
0 |
0 |
almost 3 years ago |
0 |
|
0 |
|
Elm |
| Full-stack web app, built in a typesafe functional way, where servant-to-elm generates types, decoders/encoders, and fetching functions from Haskell types and Servant endpoint definition to Elm.🤘🏻 |
| to4iki/LensKit |
10 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
mit |
Swift |
| Lens toolkit for Swift |
| Galad/CSharpDiscriminatedUnion |
9 |
|
0 |
1 |
about 6 years ago |
13 |
April 14, 2020 |
1 |
mit |
C# |
| A library for generating discriminated union types in C# |