Repository Index

Automatic tiling window manager for macOS à la xmonad.

• window-manager
• xmonad
• macos
• mac

C# pure functional programming framework - come and get declarative!

• c-sharp
• functional-languages
• monads
• monad-transformers

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

• cats
• either
• fp
• functional

Functional extensions for C#

• csharp
• entity
• functional-programming
• maybe-monad

🦋 Fantasy Land compliant (monadic) alternative to Promises

• fantasy-land
• promise
• future
• monad

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

• typescript
• algebraic-data-types
• maybe
• monad

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

• adt
• predicate-functions
• lift
• unary-functions

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

• typescript
• typescript-library
• typescript-definitions
• functional-programming

An advanced, but easy to use, platform for writing functional applications in Java 8.

• functional-programming
• reactive-streams
• monoid
• streams

Monads and other dark magic for Elixir

• elixir
• type-class
• functor
• monad

Extensions for F#

• f-sharp
• generic-functions
• monad-transformers
• arrow-functions

Infix operators for monadic functions in Swift

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

• category-theory
• coq
• monad
• profunctor

Specification for common algebraic structures in JavaScript based on Fantasy Land

• functional-programming
• fantasy-land
• specification
• monad

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad

Elegant error/exception handling in Elixir, with result monads.

• pipeline
• monad
• macros
• elixir

🥃 Functional Algebraic Data Types

• functional-programming
• monads
• monoids
• utilities

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

• clojure
• category-theory
• clojure-library
• monad

Macros for defining monads, and definition of the most common monads

:tv: A free and simple to use video player made with Haskell.

• haskell
• haskell-gi
• gstreamer
• gtk

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Integration testing framework using a state monad in the backend for building and composing flows

• nubank-stable

Abstraction for managing asynchronous code in JS

• fp
• promise
• future
• task

Monad, Functional Programming features for Golang

• golang
• functional-programming
• functional-reactive-programming
• reactive