66 Open source projects that are alternatives of or similar to preface

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

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

A static typed low-level compiled programming language inspired by Rust and C

CQL: Categorical Query Language implementation in Haskell

Programming language agnostic type construction language based on polynomials.

Code samples for #monadicmonday topics

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

Ruby's default & bundled gems: The new standard library

ACT community resources

formally verified category theory library

A categorical programming language with effects

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

Starting code and proposed solution for Functional Structures Refactoring Kata

A modern commutative diagram editor for the web.

A categorical semantics library in 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.

Autocode CLI and standard library tooling

A library for functional programming in Rust

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

λΠ Programming Language Theory

C++ compatibility library for Objective-C - Objective-CPP is a library intended to ease software development using Objective-C++. It declares categories on Objective-C classes, to work with the STL C++ types, such as std::string, std::vector, etc.

Functional programming great resources

Category theory formalized in cubical agda

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

An opinionated F# Library for error handling

a toolbox for computing with monoidal categories

CAP project -- Categories, Algorithms, and Programming

Category Theory for Programmers の勉強記録

Categories parametrized by morphism equality, in Agda

Go language basic workshops for devz

A naive approach to functional programming using TypeScript

My undergradate thesis on coinductive types in univalent type theory

A computational algebra system in Smalltalk.

A graphical editor for graph-like structures

A simple visual editor for creating commutative diagrams.

✨ Standard library for JavaScript and Node.js. ✨

Open book about math and computer science.

Univalent mathematics in Agda

A Prelude with names from category theory

《30天自制操作系统》源码中文版。自己制作一个操作系统（OSASK）的过程

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

Autocode CLI and standard library tooling

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

Struct with keyword arguments support

Category theory in the context of (functional) programming

A DSL for the internal language of a topos

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

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

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.

Category Theory For Programmers (Bartosz Milewski)

A framework for applied category theory in the Julia language

A ReasonML/Ocaml library for category theory and abstract algebra

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

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

Categorical Query Language IDE

Relational Algebra, now with more algebra!

🎁 Gleam's standard library

A formalization of category theory in cubical Agda

Check for use of undeclared variables

Examples with Functional JavaScript, following Professor Frisby's course