776 Open source projects that are alternatives of or similar to Category Theory Programmers

λΠ 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.

A library for functional programming in Rust

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.

Domain Specific Languages of Mathematics

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

A computational algebra system in Smalltalk.

Examples with Functional JavaScript, following Professor Frisby's course

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

Λrrow - Functional companion to Kotlin's Standard Library

My undergradate thesis on coinductive types in univalent type theory

Categorical Query Language IDE

A naive approach to functional programming using TypeScript

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

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

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

C++ library for value-oriented design using the unidirectional data-flow architecture — Redux for C++

Javascript Pure Implementation of Statistical R "core" numerical libRmath.so

A multiplatform Result monad for modelling success or failure operations.

A Python toolkit for processing tabular data

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

Gmsh for Python

The Hoa\Math library.

Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

A library for safer and smarter error- and "nothing"-handling in TypeScript.

A Java 8+ Cheat Sheet for functional programming

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

A curated list of useful Fable tutorials, libraries and software. Inspired by awesome list. Feel free to contribute.

Fixed point math C# library

TopShell - a purely functional, reactive scripting language

Source Code of GNU TeXmacs, Developers Guide ==>

vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

Fast EMD for Python: a wrapper for Pele and Werman's C++ implementation of the Earth Mover's Distance metric

FP library for JavaScript. Supports named-argument style methods.

Abstraction for managing asynchronous code in JS

Functional programming in Dart

📝 A compilation of everything that I learn; Computer Science, Software Development, Engineering, Math, and Coding in General. Read the rendered results here ->

🕸 A collection of Swift server-side frameworks for handling HTML, CSS, routing and middleware.

GlueSQL is quite sticky, it attaches to anywhere.

C# functional language extensions - a base class library for functional programming

Useful, common monads in idiomatic Ruby

A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.

ACT community resources

Qo - Query Object - Pattern matching and fluent querying in Ruby

🛂 A result type that accumulates multiple errors.

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

🎶 A collection of types and functions that enhance the Swift language.

Declarative UITableViewDataSource implementation

A collection of useful Swift tools that are used in the Kickstarter apps.

Yet Another LINQ to Objects for PHP [Simplified BSD]

A fool's scriptum on functional programming

Reduce the burden of mathematics when playing OpenSCAD

Carp is a programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University

A fast and modern CAS for a fast and modern language.

Teaching Materials for Dr. Waleed A. Yousef

An interpreter for learning and exploring pure λ-calculus

Hazel, a live functional programming environment with typed holes