Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+200.56%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (+331.28%)
Funcadelic.jsFunctional programming and category theory for everyday JavaScript development
Stars: ✭ 183 (+2.23%)
Learn Fplearn-by-doing course/tutorial for functional programming on scala
Stars: ✭ 548 (+206.15%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (+106.15%)
LambdaFunctional patterns for Java
Stars: ✭ 737 (+311.73%)
FluokittenCategory theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Stars: ✭ 408 (+127.93%)
LtupatternfactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Stars: ✭ 735 (+310.61%)
Language ExtC# functional language extensions - a base class library for functional programming
Stars: ✭ 3,964 (+2114.53%)
PurifyFunctional programming library for TypeScript - https://gigobyte.github.io/purify/
Stars: ✭ 843 (+370.95%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (+290.5%)
Category TheoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (+213.97%)
FFunctional stuff for Python
Stars: ✭ 113 (-36.87%)
Fundamental HaskellFundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-50.84%)
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+1156.42%)
Cats Mtlcats transformer type classes.
Stars: ✭ 238 (+32.96%)
J-CurryA Java library that enables applying Functional Programming concepts like currying and partial application for functions, also it supports types like Either, Try, etc... using RxJava 2 interfaces, compatible with Java 7 and above
Stars: ✭ 17 (-90.5%)
elixir-controlAn exploratory look into functors, applicatives, and monads for Elixir
Stars: ✭ 21 (-88.27%)
FpgoMonad, Functional Programming features for Golang
Stars: ✭ 165 (-7.82%)
MonioAsync-capable IO monad for JS
Stars: ✭ 311 (+73.74%)
Scala typeclassopediaAbstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (+88.83%)
Fun TaskAbstraction for managing asynchronous code in JS
Stars: ✭ 363 (+102.79%)
mercatorAutomatic typeclass-based abstraction over monad-like types
Stars: ✭ 54 (-69.83%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (+93.3%)
Kotlin ResultA multiplatform Result monad for modelling success or failure operations.
Stars: ✭ 369 (+106.15%)
WhyhaskellmattersIn 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. The presentation aims to be self-contained and does not require any previous knowledge of the language.
Stars: ✭ 418 (+133.52%)
Cats StmAn STM implementation for Cats Effect
Stars: ✭ 106 (-40.78%)
FunctionaljavaFunctional programming in Java
Stars: ✭ 1,472 (+722.35%)
CqlCategorical Query Language IDE
Stars: ✭ 196 (+9.5%)
BastetA ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (+11.73%)
Dry MonadsUseful, common monads in idiomatic Ruby
Stars: ✭ 453 (+153.07%)
Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (+49.16%)
free-arrowImplementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-92.18%)
cpsfy🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
Stars: ✭ 58 (-67.6%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+2474.86%)
WitchcraftMonads and other dark magic for Elixir
Stars: ✭ 864 (+382.68%)
TsoptionCorrect, easy to use Option type for TypeScript. 🦄
Stars: ✭ 53 (-70.39%)
PurefunFunctional Programming library for Java
Stars: ✭ 37 (-79.33%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+4948.6%)
CrocksA collection of well known Algebraic Data Types for your utter enjoyment.
Stars: ✭ 1,501 (+738.55%)
Masala ParserJavascript Generalized Parser Combinators
Stars: ✭ 110 (-38.55%)
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (-35.75%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+2565.36%)
CyclopsAn advanced, but easy to use, platform for writing functional applications in Java 8.
Stars: ✭ 1,180 (+559.22%)
Rubico[a]synchronous functional programming
Stars: ✭ 133 (-25.7%)
BurridoDo-notation for JavaScript
Stars: ✭ 150 (-16.2%)
PyfunctionalPython library for creating data pipelines with chain functional programming
Stars: ✭ 1,943 (+985.47%)
EasysequenceEasySequence is a powerful fundamental library to process sequcence type, such as array, set, dictionary. All type object which conforms to NSFastEnumeration protocol can be initialzed to an EZSequence instance, then you can operation with them. Finally, you can transfer them back to the original type.
Stars: ✭ 150 (-16.2%)
IotaFast [co]product types with a clean syntax. For Cats & Scalaz.
Stars: ✭ 175 (-2.23%)
DealDesign by contract for Python with static checker and tests' generation.
Stars: ✭ 164 (-8.38%)
EvilmlA compiler from ML to C++ template language
Stars: ✭ 149 (-16.76%)
Bow Arch🏛 Functional Architecture in Swift using Bow
Stars: ✭ 166 (-7.26%)