502 Open source projects that are alternatives of or similar to Zio Prelude

Categorical Query Language IDE

λΠ Programming Language Theory

Functional programming great resources

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

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

A library for functional programming in Rust

Category theory in the context of (functional) programming

Examples with Functional JavaScript, following Professor Frisby's course

A naive approach to functional programming using TypeScript

Λrrow - Functional companion to Kotlin's Standard Library

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.

An opinionated F# Library for error handling

CAP project -- Categories, Algorithms, and Programming

A graphical editor for graph-like structures

A categorical programming language with effects

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

Category Theory For Programmers (Bartosz Milewski)

CQL: Categorical Query Language implementation in Haskell

A modern commutative diagram editor for the web.

A categorical semantics library in Agda.

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

A simple visual editor for creating commutative diagrams.

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Automatic typeclass-based abstraction over monad-like types

A DSL for the internal language of a topos

Open book about math and computer science.

A ReasonML/Ocaml library for category theory and abstract algebra

Relational Algebra, now with more algebra!

A Prelude with names from category theory

a toolbox for computing with monoidal categories

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

Categories parametrized by morphism equality, in Agda

Haskell Framework for Electronic Music

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

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

A formalization of category theory in cubical Agda

A computational algebra system in Smalltalk.

Category theory applied to functional programming (undergraduate project)

Univalent mathematics in Agda

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Category Theory for Programmers の勉強記録

Category theory formalized in cubical agda

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

Automatic Differentiation using Pseudo Lenses. Neat.

Starting code and proposed solution for Functional Structures Refactoring Kata

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

Talks on category-parametric programming.

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

Category theory concepts in type classes and instances.

Code samples for #monadicmonday topics

ACT community resources

My undergradate thesis on coinductive types in univalent type theory

Programming language agnostic type construction language based on polynomials.

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

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

🔥🔥 Kotlin Jetpack zero to hero. 新手到高手

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

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

formally verified category theory library