Repository Index

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

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

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

Monads and other dark magic for Elixir

• elixir
• type-class
• functor
• monad

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

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

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

Starting code and proposed solution for Functional Structures Refactoring Kata

• functional-programming
• kata
• deliberate-practice
• category-theory

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

• functor
• monads
• curry
• composition