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

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

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

A python-ish pure and total functional programming language

Compact Cursor Library built on top of the excellent seamless-immutable

GRIN backend for GHC

A functional language frontend for the Dart VM.

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

Bkmrkd is a self-hosted, lightweight bookmarking service run on node.js and rethinkdb

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

CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.

Jargon from the functional programming world in simple terms!

Chainable promises for Qt

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

Stack allocated and type-erased functors 🐜

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

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

Compose multiple setState or getDerivedStateFromProps updaters in React

Mostly adequate guide to FP (in javascript, translated to russian)

🤝 Struct and enum data access in harmony.

Reference implementation of the MASD Code Generator.

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

🀄️A tiny library for creating WebComponents in a Functional way

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

implementation of Pure Type Systems (PTS) in Rust.

Pointless: a scripting language for learning and fun

用函数式编程重构代码吧！

Bitcoin Implementation in Scala

Tiny functional programming suite for JavaScript.

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

A Gradle plugin to run the XJC binding compiler during a build

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

Functional Programming library for Java

Typesafe, purely functional Computational Intelligence

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.

🔮 GraphQL error management made Easy, generate custom machine-readable errors for Apollo Client/Server from the CLI

A General Purpose Image Manipulation Tool

Coq formalizations of functional languages.

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

Cuneiform distributed programming language

Composable, purely functional healthchecks in Scala.

Type-driven code generation for Go

🎼 A library for function composition.

🐏 Debugging for Ramda.

WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!

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/

SwiftlyExt is a collection of useful extensions for Swift 3 standard classes and types 🚀

Functional stuff for Python

Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning

A functional language for C99 preprocessor metaprogramming

Immutable finite list objects with constant-time equality testing (===) and no memory leaks.

DDD sample implementation by Scala.

The Drupal CLI. A tool to generate boilerplate code, interact with and debug Drupal.

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

Most.js based middleware for Redux. Handle async actions with monadic streams & reactive programming.

Composable HTTP Client

Asynchronous data type with typed errors.

Generate readme file from Go doc. Now available with Github actions!

Simple, expressive & portable programming language for efficient scripting

[tutorial]A functional, Data Science focused introduction to Python