81 Open source projects that are alternatives of or similar to cat

Univalent mathematics in Agda

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Category theory applied to functional programming (undergraduate project)

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Category theory formalized in cubical agda

A library for functional programming in Rust

An opinionated F# Library for error handling

λΠ Programming Language Theory

Functional programming great resources

Agda language support for the Atom editor

A categorical programming language with effects

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

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

formally verified category theory library

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

Algebraic proof discovery in Agda

ACT community resources

Examples with Functional JavaScript, following Professor Frisby's course

Programming language agnostic type construction language based on polynomials.

A framework for applied category theory in the Julia language

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

CQL: Categorical Query Language implementation in Haskell

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

Automatic typeclass-based abstraction over monad-like types

Starting code and proposed solution for Functional Structures Refactoring Kata

A modern commutative diagram editor for the web.

Automatic Differentiation using Pseudo Lenses. Neat.

Open book about math and computer science.

A daily digest of the articles or videos I've found interesting, that I want to share with you.

A Prelude with names from category theory

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

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

A ReasonML/Ocaml library for category theory and abstract algebra

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

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Category theory in the context of (functional) programming

Categorical Query Language IDE

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

Language Server for Agda

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

a toolbox for computing with monoidal categories

A categorical semantics library in Agda.

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

Categories parametrized by morphism equality, in Agda

CAP project -- Categories, Algorithms, and Programming

Category Theory for Programmers の勉強記録

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

A naive approach to functional programming using TypeScript

Talks on category-parametric programming.

A DSL for the internal language of a topos

Category theory concepts in type classes and instances.

A computational algebra system in Smalltalk.

My undergradate thesis on coinductive types in univalent type theory

Relational Algebra, now with more algebra!

List of resources about foundational knowledge for programmers (supposed to last a few decades)

A graphical editor for graph-like structures

Functional Reactive Programming with Agda

A simple visual editor for creating commutative diagrams.

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

Code samples for #monadicmonday topics