79 Open source projects that are alternatives of or similar to cubical-categories

Type Theory in Type Theory using Cubical Agda

A formalization of category theory in cubical Agda

Category theory applied to functional programming (undergraduate project)

Univalent mathematics in Agda

Categories parametrized by morphism equality, in Agda

Category theory in the context of (functional) programming

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.

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

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

A computational algebra system in Smalltalk.

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

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

a toolbox for computing with monoidal categories

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

🧊 Модальний Гомотопічний Прувер

A framework for applied category theory in the Julia language

A naive approach to functional programming using TypeScript

CAP project -- Categories, Algorithms, and Programming

Category Theory for Programmers の勉強記録

A simple visual editor for creating commutative diagrams.

Talks on category-parametric programming.

Category theory concepts in type classes and instances.

Relational Algebra, now with more algebra!

A ReasonML/Ocaml library for category theory and abstract algebra

Open book about math and computer science.

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

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

Examples with Functional JavaScript, following Professor Frisby's course

λΠ Programming Language Theory

Code samples for #monadicmonday topics

ACT community resources

A categorical programming language with effects

Functional programming great resources

Agda language support for the Atom editor

Programming language agnostic type construction language based on polynomials.

CQL: Categorical Query Language implementation in Haskell

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

Category Theory For Programmers (Bartosz Milewski)

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

A modern commutative diagram editor for the web.

Algebraic proof discovery in Agda

A Prelude with names from category theory

A categorical semantics library in Agda.

Automatic typeclass-based abstraction over monad-like types

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

Automatic Differentiation using Pseudo Lenses. Neat.

formally verified category theory library

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

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

A graphical editor for graph-like structures

Starting code and proposed solution for Functional Structures Refactoring Kata

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

An opinionated F# Library for error handling

A DSL for the internal language of a topos

A library for functional programming in Rust

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

Language Server for Agda

My undergradate thesis on coinductive types in univalent type theory

Categorical Query Language IDE

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