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

Recursive descent parsing library for Python based on functional combinators

Relational Algebra, now with more algebra!

Type-safe, functional string formatting in Swift.

CAP project -- Categories, Algorithms, and Programming

A python-ish pure and total functional programming language

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

a toolbox for computing with monoidal categories

Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.

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

cats transformer type classes.

Categories parametrized by morphism equality, in Agda

Either and Maybe monads for better error-handling in C++ ↔️

Haskell Framework for Electronic Music

🧮 A research programming language on top of C macros

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

Functional programming for Salesforce Apex

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

A formalization of category theory in cubical Agda

Practice, thinking and reading

A computational algebra system in Smalltalk.

Jargon from the functional programming world in simple terms!

Category theory applied to functional programming (undergraduate project)

A fancy and practical functional tools

A simple visual editor for creating commutative diagrams.

Univalent mathematics in Agda

Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofit.com/books/

Open book about math and computer science.

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

RemoteData type

A (more or less) one page introduction to Nix, the language.

A Prelude with names from category theory

Category theory formalized in cubical agda

Code samples for #monadicmonday topics

A collection of extensions to the ReactiveSwift framework.

Standard ML Compiler and Toolkit

🎱 Composable, transformable, controllable randomness.

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

Bitcoin Implementation in Scala

Talks on category-parametric programming.

A high-performance, purely-functional library for building, composing, and supervising typed actors based on ZIO

Category Theory for Programmers の勉強記録

Extraordinary JavaScript framework with unique declarative and functional architecture

Functional programming and category theory for everyday JavaScript development

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

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

A framework for applied category theory in the Julia language

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

ACT community resources

Data analysis library for JavaScript built with Ramda

My undergradate thesis on coinductive types in univalent type theory

🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥

Category theory concepts in type classes and instances.

🦄🌈🍄 algebraic style composition for functional UIs

Programming language agnostic type construction language based on polynomials.

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

Type-safe, statically checked composition of HTTP servers