56 Open source projects that are alternatives of or similar to Idris Ct

A ReasonML/Ocaml library for category theory and abstract algebra

An opinionated F# Library for error handling

Categorical Query Language IDE

Examples with Functional JavaScript, following Professor Frisby's course

a toolbox for computing with monoidal categories

A categorical programming language with effects

Categories parametrized by morphism equality, in Agda

CQL: Categorical Query Language implementation in Haskell

A naive approach to functional programming using TypeScript

A modern commutative diagram editor for the web.

A computational algebra system in Smalltalk.

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

A simple visual editor for creating commutative diagrams.

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.

Open book about math and computer science.

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

A Prelude with names from category theory

A library for functional programming in Rust

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

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

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

λΠ Programming Language Theory

Category theory in the context of (functional) programming

Λrrow - Functional companion to Kotlin's Standard Library

ACT community resources

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

Functional programming great resources

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.

Programming language agnostic type construction language based on polynomials.

A framework for applied category theory in the Julia language

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

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

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

CAP project -- Categories, Algorithms, and Programming

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

Category theory applied to functional programming (undergraduate project)

Automatic typeclass-based abstraction over monad-like types

Talks on category-parametric programming.

Automatic Differentiation using Pseudo Lenses. Neat.

Category theory concepts in type classes and instances.

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

Relational Algebra, now with more algebra!

A graphical editor for graph-like structures

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

Category Theory For Programmers (Bartosz Milewski)

A formalization of category theory in cubical Agda

A categorical semantics library in Agda.

Univalent mathematics in Agda

A DSL for the internal language of a topos

Category theory formalized in cubical agda

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

Category Theory for Programmers の勉強記録

Starting code and proposed solution for Functional Structures Refactoring Kata

My undergradate thesis on coinductive types in univalent type theory

Code samples for #monadicmonday topics

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