589 Open source projects that are alternatives of or similar to Plt

A modern proof language

Category theory in the context of (functional) programming

Λrrow - Functional companion to Kotlin's Standard Library

A library for functional programming in Rust

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

A naive approach to functional programming using TypeScript

Functional programming great resources

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

Categorical Query Language IDE

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

My undergradate thesis on coinductive types in univalent type theory

Univalent mathematics in Agda

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

Examples with Functional JavaScript, following Professor Frisby's course

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.

Programming language agnostic type construction language based on polynomials.

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

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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.

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

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

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

🛂 A result type that accumulates multiple errors.

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

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

A fool's scriptum on functional programming

TopShell - a purely functional, reactive scripting language

Abstraction for managing asynchronous code in JS

Mostly adequate guide to FP (in javascript)

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

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.

Experimental implementation of Cubical Type Theory

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

Hazel, a live functional programming environment with typed holes

Declarative UITableViewDataSource implementation

ACT community resources

Curated list of Prolog packages and resources

Functional programming in Dart

Yet Another LINQ to Objects for PHP [Simplified BSD]

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

GlueSQL is quite sticky, it attaches to anywhere.

A digital logic simulator

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

RxSwift를 스터디하는 공간

⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go

An interpreter for learning and exploring pure λ-calculus

java port of Underscore.js

Functional programming in Swift

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

📚 Collection of JavaScript exercises and coding challenges.

十分钟魔法练习

An Intellij/Android Studio plugin to help visualise side effects in your code.

Functional is a library for functional programming in JavaScript. It defines the standard higher-order functions such as map, reduce (aka foldl), and select (aka filter). It also defines functions such as curry, rcurry, and partial for partial function application; and compose, guard, and until for function-level programming.

effect isolation in Python, to facilitate more purely functional code

A framework for applied category theory in the Julia language

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.

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

A Java 8+ Cheat Sheet for functional programming

Zero Framework：http://www.vertxup.cn