731 Open source projects that are alternatives of or similar to Curryhoward

Collection of useful patterns

An OCaml kernel for Jupyter (IPython) notebook

Elsa is a lambda calculus evaluator

A typed implementation of the Go sync.Map using code generation

Plasma Programming Language

First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.

A Go package for generating Go code

Async/await reactive tools for Python 3.9+

ZIO wrapper for Akka Cluster

Fast [co]product types with a clean syntax. For Cats & Scalaz.

The Cycle.js Chinese documentation website.

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

Compile-time checked Unions of different types for Domain Modeling [STABLE]

Boilerplate-free syntax for computations with effects

Make your functions return something meaningful, typed, and safe!

💊 steroids for Xcode Playgrounds

A naive approach to functional programming using TypeScript

Quick, graphical, fun introduction to programming in Scala.

Probabilistic deep learning for data streams.

Go Interface Mocking Tool

🐆 An immutable list with unmatched performance and a comprehensive functional API.

Functional programming toolkit for building server applications in Scala.

Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.

🎱 Composable, transformable, controllable randomness.

Stream API from Java 8 rewritten on iterators for Java 7 and below

C++ as a Pure Functional Programming Language

Artifact Manager, a build and packaging tool for Google API client libraries.

A python-ish pure and total functional programming language

GRIN backend for GHC

Design by contract for Python with static checker and tests' generation.

🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

Jargon from the functional programming world in simple terms!

Quenya is a framework to build high-quality REST API applications based on extended OpenAPI spec

Random Data Generation and/or Property Testing in Scala & Scala.JS.

Compose multiple setState or getDerivedStateFromProps updaters in React

🤝 Struct and enum data access in harmony.

A curated list of awesome things related to functional programming in Python.

Model-driven Web UI for CRUD using REST or localStorage.

Pointless: a scripting language for learning and fun

Bitcoin Implementation in Scala

Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions

A dynamic FastAPI router that automatically creates CRUD routes for your models

Testura.Code is a wrapper around the Roslyn API and used for generation, saving and compiling C# code. It provides methods and helpers to generate classes, methods, statements and expressions.

A Reactive Programming library for JavaScript

Manage side-effects in your javascript application cleanly with algebraic effects

Examples with Functional JavaScript, following Professor Frisby's course

Declarative concurrency in Scala - The implementation of the chemical machine

🐏 Debugging for Ramda.

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/

Functional stuff for Python

A functional language for C99 preprocessor metaprogramming

DDD sample implementation by Scala.

A command-line tool to render Jinja templates for great good

PHP code generator library

Purely Functional Transaction Management In Scala With ZIO

Understand and reduce your carbon footprint 🌱 iOS & Android.

Marble.js - functional reactive Node.js framework for building server-side applications, based on TypeScript and RxJS.

🤘Utility library for functional JavaScript. With ❤️ to Ramda.

Cuneiform distributed programming language

Composable, purely functional healthchecks in Scala.