Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with functor

A curated list of projects in awesome lists tagged with functor .

https://github.com/evilsoft/crocks

A collection of well known Algebraic Data Types for your utter enjoyment.

adt composition curry functor lift monad monoid pair predicate-functions unary-functions

Last synced: 14 May 2025

https://github.com/gigobyte/purify

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

algebraic-data-types codec decode either fantasy-land functional-programming functor maybe monad option-type result-type typescript

Last synced: 13 May 2025

https://gigobyte.github.io/purify/

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

algebraic-data-types codec decode either fantasy-land functional-programming functor maybe monad option-type result-type typescript

Last synced: 02 Sep 2025

https://github.com/fantasyland/static-land

Specification for common algebraic structures in JavaScript based on Fantasy Land

adt algebra algebraic algebraic-data-types fantasy-land functional-programming functor monad monoid specification static-land

Last synced: 04 Apr 2025

https://github.com/jwiegley/category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition

Last synced: 15 May 2025

https://github.com/uncomplicate/fluokitten

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

category-theory clojure clojure-library functor monad monoid

Last synced: 08 Apr 2025

https://github.com/thma/WhyHaskellMatters

In 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.

algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes

Last synced: 30 Apr 2025

https://github.com/thma/whyhaskellmatters

In 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.

algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes

Last synced: 05 Apr 2025

https://github.com/thefrontside/funcadelic.js

Functional programming and category theory for everyday JavaScript development

functional-js functional-programming functor monad monoid semigroup typeclass

Last synced: 12 Oct 2025

https://github.com/dmitriz/functional-examples

Examples with Functional JavaScript, following Professor Frisby's course

category-theory functional-js functional-programming functor monad

Last synced: 04 Apr 2025

https://github.com/orakaro/swift-monad-maybe-reader-and-try

Proof of concept: Maybe, Reader and Try monad

functor monads reader-monad swift

Last synced: 12 Apr 2025

https://github.com/functionalland/functional

Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.

algebraic-data-types browser catamorphism category-theory deno denoland either either-monad fold functional functional-programming functor io-monad maybe maybe-monad monoid task task-monad

Last synced: 10 Apr 2025

https://github.com/gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

atp flexible-parsers functor language model ocaml ocaml-library parse smt-lib theorem-proving tptp typechecker

Last synced: 06 Apr 2025

https://github.com/aballano/fam-playground

Kotlin Functors, Applicatives, And Monads in Pictures

applicative functional-programming functor kotlin monad

Last synced: 14 Apr 2025

https://github.com/mcfilib/ribimaybe

Maybe Functor, Applicative and Monad

applicative functor monad ruby

Last synced: 14 Jun 2025

https://github.com/c-cube/sidekick

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

cdcl-t congruence-closure formal-methods functor prover sat-solver smt-solver

Last synced: 22 Aug 2025

https://github.com/burz/feval

evaluation using f-algebras

algebras category-theory evaluation functor haskell interpreter

Last synced: 09 Apr 2025

https://github.com/ritesh404/kudojs

A utility library to write code in functional programming style in Javascript

applicative composition curry functional-js functional-programming functor javascript library monads nodejs typescript

Last synced: 16 Nov 2025

https://github.com/slogsdon/elixir-control

An exploratory look into functors, applicatives, and monads for Elixir

applicative elixir functor monad

Last synced: 13 Apr 2025

https://github.com/shrynx/reasonz

A Haskell fan fiction for ReasonML

functor haskell monad reasonml typeclasses

Last synced: 15 Apr 2025

https://github.com/nilern/monnit

Monads, functors etc. for Clojure(Script)

category-theory clojure clojurescript functor monad

Last synced: 14 Jul 2025

https://github.com/obsidiansystems/vessel

Functor-parametric containers

containers functor haskell

Last synced: 12 Apr 2025

https://github.com/bert2/nullable.extensions

A set of C# extension methods to help working with nullable types by implementing the Maybe monad on top of `T?`.

extension-methods functional-programming functor isomorphism maybe-monad monad nullable-reference-types nullable-types

Last synced: 16 Apr 2025

https://github.com/gammasoft71/delegates

Modern c ++17 library containing multicast delegate and event classes.

action cpp11 delegate delegates event event-arguments event-handlers function functor lambda-functions multicast predicate

Last synced: 13 Apr 2025

https://github.com/gvolpe/effects-playground

:dart: Learning different effect systems by example

effects functor fused fusion haskell higher-order mtl polysemy readert rio

Last synced: 25 Oct 2025

https://github.com/functionalland/functional-io

IO methods as valid Task monads perfect to write great point-free software in JavaScript that is compatible with most modern browsers and Deno.

algebraic-data-types deno denoland filesystem functional functional-programming functor monad task-monad

Last synced: 06 Mar 2026

https://github.com/kutyel/fpjs-workshop

⚡️ My workshop to teach FP principles in JavaScript

fp-js fp-workshop fpjs functional functional-js functional-programming functor monads workshop

Last synced: 15 Apr 2025

https://github.com/functionalland/functional-http-server

A simple HTTP server inspired by Express and in tune with Functional Programming principles in JavaScript for Deno.

category-theory deno denoland express functional functional-programming functor http-server koa monoid oak task

Last synced: 11 Jul 2025

https://github.com/williamareynolds/ts-cat

A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

applicative category-theory fantasy-land fantasy-land-spec functor higher-kinded-types maybe maybe-monad monad static-land static-land-spec type-classes typescript typescript-library

Last synced: 10 Apr 2025

https://github.com/asperamanca/monadic_operations_cpp23

Material for my talk "Safe and Readable Code: Monadic Operations in C++23"

cplusplus cplusplus-23 cpp functor monad slides talk

Last synced: 15 Apr 2025

https://github.com/jluttine/haskpy

Haskell/Hask inspired classes and functions in Python

functional-programming functor haskell monad profunctor-optics python

Last synced: 10 Mar 2026

https://github.com/stephband/fn

A library of functional functions

functional functor javascript stream

Last synced: 12 Apr 2025

https://github.com/edeckers/pyella

Common applicatives, functors and monads for loads of /fun/ with Python

applicative either fp functional-programming functor hacktoberfest haskell just lambda maybe monad optional python

Last synced: 12 Mar 2026

https://github.com/glebec/monadic-parser-combinators

Demo of various functional design patterns and techniques via parsers

demo functional functor javascript monad parser-combinators

Last synced: 13 Mar 2026

https://github.com/puripuri2100/satysfi-class-clsor-concept

ファンクタを用いたSATySFiのドキュメントクラス生成ライブラリ

document functor satysfi

Last synced: 27 Jan 2026

https://github.com/cimpress-mcp/tiger-types

A collection of useful types and operations on types.

either functional functor maybe monad option task

Last synced: 14 Apr 2025

https://github.com/mtumilowicz/java11-category-theory-optional-is-not-functor

Proof that java Optional is not a functor, but vavr is.

functor optional optional-implementations vavr

Last synced: 22 Jun 2026

https://github.com/dscheglov/resultage

A clear way for handling success and failure in both synchronous and asynchronous operations.

either err error error-as-values error-handling functor monad never-throw ok result throw

Last synced: 23 Mar 2025

https://github.com/hacker-code-j/category-theory

This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.

category category-theory currying functor natural-transformation

Last synced: 03 Mar 2026

https://github.com/segfaultax/pyeither

An implementation of Data.Either from Haskell in Python

applicative either functional-programming functional-python functor haskell monad python

Last synced: 25 Feb 2026

https://github.com/risto-stevcev/idris-functors

Bifunctors and functor products, coproducts, and composition

bifunctor bifunctors composition coproduct functor functor-products functors idris

Last synced: 28 Feb 2026

https://github.com/kutyel/what-is-a-monad-ts

Learn what Monads™️ are in TypeScript!

applicative fp fp-ts functor js learning-exercise monad monads

Last synced: 04 May 2026

https://github.com/arcanemage/javalaboratories-java-extensions

This is a library of utilities to encourage functional programming in Java, particularly for Java-8 developers but not exclusively.

functional-programming functor java-extensions lambda-expressions monad thread

Last synced: 14 Jan 2026

https://github.com/functionalland/functional-redis

A simple Redis client in tune with Functional Programming principles in JavaScript for Deno.

deno denoland functional functional-programming functor monoid redis

Last synced: 05 May 2026

https://github.com/afsalthaj/supaku-sukara

Functional Programming, Functional Programming Exercise Solutions in Scala & Spark

functional-programming functor language monad parallelism scala shapeless spark typeclasses

Last synced: 15 May 2026

https://github.com/ibrahimcesar/category-theory-for-the-javascript-typescript-developers

🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable.

adjunctions category-theory category-theory-for-programmers composition dsl educational fp-ts functional-programming functor javascript monad typescript

Last synced: 30 Jan 2026

https://github.com/mtumilowicz/scala212-cats-category-theory-composing-functors

Simple example of composing functors using Cats.

category-theory cats composing functor

Last synced: 13 Jun 2025

https://github.com/gvolpe/functional-data-validation

Functional Data Validation in Haskell (Examples of my talk in Eindhoven, NL on June 2017)

applicative functor monad semigroup validation

Last synced: 02 Nov 2025

https://github.com/gilzoide/functor2c

Single header templates for wrapping C++ functors as opaque userdata plus function pointers for C interop

c-interop cpp cpp11 cpp17 function-pointer function-pointers functor single-file single-file-library single-header single-header-library

Last synced: 08 Oct 2025

https://github.com/jonlaing/fizzbuzzjs

A completely over-engineered FizzBuzz in Javascript

fizz-buzz fizzbuzz functor javascript

Last synced: 13 Mar 2026

https://github.com/noyzys/fp-practice

* Basic functional programming concepts

concepts fp functional-components functional-programming functor monad

Last synced: 02 Mar 2025

https://github.com/nem035/js-function-fun-2

Fun with functional programming in JavaScript (2)

composition functional-programming functor javascript monad monoid semigroup

Last synced: 30 Jun 2025

https://github.com/articulate/redux-functor

Functor middleware for redux

functional-programming functor javascript redux

Last synced: 17 May 2026

https://github.com/johnpaulada/side-effector

An Effect monad library. Allows you to defer dealing with impurities until you actually run them.

functor monad side-effect

Last synced: 20 Apr 2026

https://github.com/unosd/resultmonad

C# implementation of the result and other monads with query syntax support and extensions for Tasks and IEnumerable

async csharp functional functional-programming functor functors monad monads monoid monoids netcore2 netstandard result task tpl

Last synced: 27 May 2026

https://github.com/spamegg1/haskell-prog

Working through the book "Get Programming with Haskell" by Will Kurt

applicative cabal functor ghc ghci haskell monad quickcheck semigroup stack

Last synced: 15 Mar 2025

https://github.com/mtumilowicz/scala212-category-theory-const-functor

Implementation of Const functor in Scala.

category-theory functor

Last synced: 23 Jun 2026

https://github.com/joellefkowitz/funky

Functional and ergonomic transformations.

applicative functional functor instance monad

Last synced: 12 Feb 2026

https://github.com/matthewboman/fantasy-vue

A wrapper for integrating fantasy-land into Vuejs

fantasy-land functional-js functor monads vue

Last synced: 17 Apr 2026

https://github.com/fwcd/curry-functors

Contravariant functors, bifunctors, profunctors and more for Curry

bifunctor bifunctors curry functor functors profunctors

Last synced: 03 Mar 2026

https://github.com/skippia/fp-playground

Explore opportunities of functional programming through the prism of typescript and `fp-ts`

applicative category contramap either eq fp-ts functional-composition functional-programming functor hof maybe monad monoid option ord promises semigroup task-either typescript

Last synced: 03 Mar 2025

https://github.com/qrailibs/functir

✨ Functional programming library for JavaScript. Fully type-safe.

functional functional-programming functor immutable io monad trait

Last synced: 04 Feb 2026

https://github.com/mtumilowicz/scala212-category-theory-kleisli-writer-category-functor

Constructing functor using Kleisli operator.

functor kleisli

Last synced: 22 Jun 2026

https://github.com/JoelLefkowitz/funky

Functional type classes and instances.

applicative functional functor instance monad

Last synced: 21 Oct 2025