Repository Index

Monads and other dark magic for Elixir

• elixir
• type-class
• functor
• monad

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

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

• category-theory
• coq
• monad
• profunctor

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

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

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

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

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

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]