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

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

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

Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.

A companion Playground for the article "Swift Functors, Applicatves, and Monads in Pictures"

Starting code and proposed solution for Functional Structures Refactoring Kata

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

React-Router implemented in PureScript as Cofree Comonad for the Array functor.

• purescript
• react-router
• cofree-comonad

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

• functor
• monads
• curry
• composition

A playground to introduce Functors in Swift, and their practical usage. From my Melbour CocoaHeads #85 lighting talk.