61 Open source projects that are alternatives of or similar to notes-milewski-ctfp-hs

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

Automatic Differentiation using Pseudo Lenses. Neat.

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.

Functional programming great resources

A categorical semantics library in Agda.

A modern commutative diagram editor for the web.

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

An opinionated F# Library for error handling

A graphical editor for graph-like structures

A library for functional programming in Rust

ACT community resources

!NO MORE MAINTAINED! Reactive API Wrapper for Twitch in Kotlin/JVM

CQL: Categorical Query Language implementation in Haskell

Programming language agnostic type construction language based on polynomials.

formally verified category theory library

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

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

Automatic typeclass-based abstraction over monad-like types

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.

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

Category Theory For Programmers (Bartosz Milewski)

Examples with Functional JavaScript, following Professor Frisby's course

A DSL for the internal language of a topos

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

Category theory in the context of (functional) programming

📦🚀 Create and modify GitHub Releases in Azure DevOps Build and Release Management

Categories parametrized by morphism equality, in Agda

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.

A naive approach to functional programming using TypeScript

A framework for applied category theory in the Julia language

free exploit framework written use python language version 3.3

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

A computational algebra system in Smalltalk.

CAP project -- Categories, Algorithms, and Programming

A ReasonML/Ocaml library for category theory and abstract algebra

Category theory applied to functional programming (undergraduate project)

A simple visual editor for creating commutative diagrams.

Talks on category-parametric programming.

🌍 Meet Developers around the Globe

Category theory concepts in type classes and instances.

Open book about math and computer science.

Relational Algebra, now with more algebra!

Categorical Query Language IDE

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

A Prelude with names from category theory

A formalization of category theory in cubical Agda

My undergradate thesis on coinductive types in univalent type theory

Univalent mathematics in Agda

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

Category theory formalized in cubical agda

a toolbox for computing with monoidal categories

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

Notes from some books that I've read.

Category Theory for Programmers の勉強記録

Code samples for #monadicmonday topics

A categorical programming language with effects

λΠ Programming Language Theory