78 Open source projects that are alternatives of or similar to cain

A formalization of category theory in cubical Agda

Univalent mathematics in Agda

Category theory formalized in cubical agda

A ReasonML/Ocaml library for category theory and abstract algebra

My undergradate thesis on coinductive types in univalent type theory

Category Theory For Programmers (Bartosz Milewski)

Relational Algebra, now with more algebra!

a toolbox for computing with monoidal categories

A categorical semantics library in Agda.

A naive approach to functional programming using TypeScript

A simple visual editor for creating commutative diagrams.

Category Theory for Programmers の勉強記録

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

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

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Categorical Query Language IDE

Examples with Functional JavaScript, following Professor Frisby's course

Categories parametrized by morphism equality, in Agda

Automatic Differentiation using Pseudo Lenses. Neat.

A computational algebra system in Smalltalk.

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.

Deciding Presburger arithmetic in agda

Open book about math and computer science.

A DSL for the internal language of a topos

A Prelude with names from category theory

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

Agda language support for the Atom editor

Type Theory in Type Theory using Cubical Agda

Starting code and proposed solution for Functional Structures Refactoring Kata

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

Code samples for #monadicmonday topics

A TACtic library for Agda

formally verified category theory library

wherein I implement several substructural logics in Agda

An opinionated F# Library for error handling

Accessing Agda's interaction mode via command line & external tactic for Agda.

Constructive Interpretations of HoTT

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

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

A categorical programming language with effects

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

CQL: Categorical Query Language implementation in Haskell

Automatic typeclass-based abstraction over monad-like types

A modern commutative diagram editor for the web.

Functional Reactive Programming with Agda

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

apkg - package manager for Agda

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.

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

Category theory concepts in type classes and instances.

A library for functional programming in Rust

λΠ Programming Language Theory

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

Proof automation – for Agda, in Agda.

Algebraic proof discovery in Agda

A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

Talks on category-parametric programming.

agda-mode on VS Code

A graphical editor for graph-like structures

Language Server for Agda