332 Open source projects that are alternatives of or similar to Category Theory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Examples with Functional JavaScript, following Professor Frisby's course

Monads and other dark magic for Elixir

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

A ReasonML/Ocaml library for category theory and abstract algebra

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

Starting code and proposed solution for Functional Structures Refactoring Kata

A library for functional programming in Rust

Composition of Functions

Mtac in Agda

Functional programming great resources

A Java library that enables applying Functional Programming concepts like currying and partial application for functions, also it supports types like Either, Try, etc... using RxJava 2 interfaces, compatible with Java 7 and above

Functional patterns for Java

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

learn-by-doing course/tutorial for functional programming on scala

C# functional language extensions - a base class library for functional programming

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

函数式编程指北中文版

Automatic typeclass-based abstraction over monad-like types

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Specification for common algebraic structures in JavaScript based on Fantasy Land

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

Functional programming and category theory for everyday JavaScript development

🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested

Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows

Async-capable IO monad for JS

JKCategories(iOS-Categories,Category), a collection of useful Objective-C Categories extending iOS Frameworks such as Foundation,UIKit,CoreData,QuartzCore,CoreLocation,MapKit Etc.

A port of Coq to Javascript -- Run Coq in your Browser

Tricks you wish the Coq manual told you

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Eff monad for cats - https://atnos-org.github.io/eff

A Coq IDE build on top of Proof General's Coq mode

Little monad library designed for TypeScript

JavaScript embedded effects compiler

An introductory course to Homotopy Type Theory

λΠ Programming Language Theory

A multiplatform Result monad for modelling success or failure operations.

Ramda inspired library of helper functions for ReasonML

Convert Haskell source code to Coq source code

This repo is the new home of Proof General

A gently curated list of companies using verification formal methods in industry

Formal Reasoning About Programs

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

Verified Software Toolchain

Futures and thread pool for C++ (with optional Qt support)

Abstraction for managing asynchronous code in JS

This project is to contain a listing of common theorems in elementary category theory.

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

Cosette is an automated SQL solver.

Category theory in the context of (functional) programming

😄 Emoji in Swift

IO for Gallina

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

Cryptographic Primitive Code Generation by Fiat

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

Useful, common monads in idiomatic Ruby

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Ebay NodeJS Wrapper

A data structure for validations. It implements the applicative functor interface

A fool's scriptum on functional programming