Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (-30.31%)
Functional ExamplesExamples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-76.81%)
Learn Fplearn-by-doing course/tutorial for functional programming on scala
Stars: ✭ 548 (-29.02%)
PurifyFunctional programming library for TypeScript - https://gigobyte.github.io/purify/
Stars: ✭ 843 (+9.2%)
LambdaFunctional patterns for Java
Stars: ✭ 737 (-4.53%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (-52.2%)
Category TheoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (-27.2%)
Funcadelic.jsFunctional programming and category theory for everyday JavaScript development
Stars: ✭ 183 (-76.3%)
LtupatternfactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Stars: ✭ 735 (-4.79%)
FluokittenCategory theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Stars: ✭ 408 (-47.15%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (-9.46%)
Language ExtC# functional language extensions - a base class library for functional programming
Stars: ✭ 3,964 (+413.47%)
CqlCategorical Query Language IDE
Stars: ✭ 196 (-74.61%)
WitchcraftMonads and other dark magic for Elixir
Stars: ✭ 864 (+11.92%)
Cats StmAn STM implementation for Cats Effect
Stars: ✭ 106 (-86.27%)
PurefunFunctional Programming library for Java
Stars: ✭ 37 (-95.21%)
CrocksA collection of well known Algebraic Data Types for your utter enjoyment.
Stars: ✭ 1,501 (+94.43%)
FpgoMonad, Functional Programming features for Golang
Stars: ✭ 165 (-78.63%)
FFunctional stuff for Python
Stars: ✭ 113 (-85.36%)
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+191.32%)
Cats Mtlcats transformer type classes.
Stars: ✭ 238 (-69.17%)
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 (-88.6%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+1070.6%)
Masala ParserJavascript Generalized Parser Combinators
Stars: ✭ 110 (-85.75%)
elixir-controlAn exploratory look into functors, applicatives, and monads for Elixir
Stars: ✭ 21 (-97.28%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+497.02%)
CurryhowardAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: ✭ 229 (-70.34%)
CyclopsAn advanced, but easy to use, platform for writing functional applications in Java 8.
Stars: ✭ 1,180 (+52.85%)
TsoptionCorrect, easy to use Option type for TypeScript. 🦄
Stars: ✭ 53 (-93.13%)
KindA modern proof language
Stars: ✭ 2,075 (+168.78%)
Rubico[a]synchronous functional programming
Stars: ✭ 133 (-82.77%)
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (-85.1%)
BastetA ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (-74.09%)
free-arrowImplementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-98.19%)
Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (-65.41%)
Lambda🔮 Estudos obscuros de programação funcional
Stars: ✭ 297 (-61.53%)
cpsfy🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
Stars: ✭ 58 (-92.49%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+296.89%)
mercatorAutomatic typeclass-based abstraction over monad-like types
Stars: ✭ 54 (-93.01%)
MonioAsync-capable IO monad for JS
Stars: ✭ 311 (-59.72%)
Dry MonadsUseful, common monads in idiomatic Ruby
Stars: ✭ 453 (-41.32%)
Lambda TalkA Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (-59.2%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+518.01%)
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 (-56.22%)
Fun TaskAbstraction for managing asynchronous code in JS
Stars: ✭ 363 (-52.98%)
Kotlin ResultA multiplatform Result monad for modelling success or failure operations.
Stars: ✭ 369 (-52.2%)
Church⛪️ Church Encoding in JS
Stars: ✭ 107 (-86.14%)
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 (-97.8%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (-55.18%)
PlamAn interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (-50.13%)
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 (-45.85%)