FunctionaljavaFunctional programming in Java
Stars: ✭ 1,472 (+298.92%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (+109.21%)
BastetA ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (-45.8%)
Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+45.8%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (+89.43%)
Functional ExamplesExamples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-51.49%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+1192.95%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (-6.23%)
Learn Fplearn-by-doing course/tutorial for functional programming on scala
Stars: ✭ 548 (+48.51%)
Fun TaskAbstraction for managing asynchronous code in JS
Stars: ✭ 363 (-1.63%)
Language ExtC# functional language extensions - a base class library for functional programming
Stars: ✭ 3,964 (+974.25%)
Funcadelic.jsFunctional programming and category theory for everyday JavaScript development
Stars: ✭ 183 (-50.41%)
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 (-76.15%)
FluokittenCategory theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Stars: ✭ 408 (+10.57%)
Dry MonadsUseful, common monads in idiomatic Ruby
Stars: ✭ 453 (+22.76%)
LtupatternfactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Stars: ✭ 735 (+99.19%)
Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Stars: ✭ 511 (+38.48%)
CyclopsAn advanced, but easy to use, platform for writing functional applications in Java 8.
Stars: ✭ 1,180 (+219.78%)
Cats StmAn STM implementation for Cats Effect
Stars: ✭ 106 (-71.27%)
MonioAsync-capable IO monad for JS
Stars: ✭ 311 (-15.72%)
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (-68.83%)
FpgoMonad, Functional Programming features for Golang
Stars: ✭ 165 (-55.28%)
Rubico[a]synchronous functional programming
Stars: ✭ 133 (-63.96%)
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+509.49%)
PurifyFunctional programming library for TypeScript - https://gigobyte.github.io/purify/
Stars: ✭ 843 (+128.46%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+2349.05%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+1149.05%)
CqlCategorical Query Language IDE
Stars: ✭ 196 (-46.88%)
Masala ParserJavascript Generalized Parser Combinators
Stars: ✭ 110 (-70.19%)
Kotlin ResultA multiplatform Result monad for modelling success or failure operations.
Stars: ✭ 369 (+0%)
IotaFast [co]product types with a clean syntax. For Cats & Scalaz.
Stars: ✭ 175 (-52.57%)
Cats Mtlcats transformer type classes.
Stars: ✭ 238 (-35.5%)
UnpluggedOpen book about math and computer science.
Stars: ✭ 1,189 (+222.22%)
mercatorAutomatic typeclass-based abstraction over monad-like types
Stars: ✭ 54 (-85.37%)
Category TheoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (+52.3%)
FFunctional stuff for Python
Stars: ✭ 113 (-69.38%)
TsoptionCorrect, easy to use Option type for TypeScript. 🦄
Stars: ✭ 53 (-85.64%)
PurefunFunctional Programming library for Java
Stars: ✭ 37 (-89.97%)
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 (-8.4%)
WitchcraftMonads and other dark magic for Elixir
Stars: ✭ 864 (+134.15%)
LambdaFunctional patterns for Java
Stars: ✭ 737 (+99.73%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: ✭ 266 (-27.91%)
free-arrowImplementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-96.21%)
Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (-27.64%)
KocircuitKo: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
Stars: ✭ 305 (-17.34%)
Gubrak⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go
Stars: ✭ 329 (-10.84%)
FunctionkitA framework for functional types and operations designed to fit naturally into Swift.
Stars: ✭ 302 (-18.16%)
Swift Prelude🎶 A collection of types and functions that enhance the Swift language.
Stars: ✭ 349 (-5.42%)
Drosterecursion schemes for cats; to iterate is human, to recurse, divine
Stars: ✭ 300 (-18.7%)
Virtual Audio Graph🎶 Library for declaratively manipulating the Web Audio API
Stars: ✭ 299 (-18.97%)
SwiftzFunctional programming in Swift
Stars: ✭ 3,327 (+801.63%)
AecorPure functional event sourcing runtime
Stars: ✭ 299 (-18.97%)