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

🐦 Some combinators

A library for functional programming in Rust

十分钟魔法练习

An interpreter for learning and exploring pure λ-calculus

🔮 Estudos obscuros de programação funcional

⛪️ Church Encoding in JS

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

Fun with λ calculus!

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

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

A modern proof language

Immutable and Memory-Efficient Maps and Sets in Go

Pleasant, yet principled Scala optics DSL

Categorical Query Language IDE

A tool that generates a strongly typed client library for any GraphQL endpoint. The client allows writing GraphQL queries as plain JS objects (with type safety, awesome code completion experience, custom scalar type mapping, type guards and more)

Fast & Functional logger in Scala

Pure programming language

Visualisations of data are at the core of every publication of scientific research results. They have to be as clear as possible to facilitate the communication of research. As data can have different formats and shapes, the visualisations often have to be adapted to reflect the data as well as possible. We developed Pylustrator, an interface to directly edit python generated matplotlib graphs to finalize them for publication. Therefore, subplots can be resized and dragged around by the mouse, text and annotations can be added. The changes can be saved to the initial plot file as python code.

Data analysis library for JavaScript built with Ramda

The easy way to learn Scala.

Functional programming for Salesforce Apex

Convert XSD into PHP classes and JMS serializer definitions

Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter.

The Eta Programming Language, a dialect of Haskell on the JVM

Scala 2 compiler and standard library. For bugs, see scala/bug

RemoteData type

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

Async/await reactive tools for Python 3.9+

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

💊 steroids for Xcode Playgrounds

Go Interface Mocking Tool

🎱 Composable, transformable, controllable randomness.

A python-ish pure and total functional programming language

Jargon from the functional programming world in simple terms!

🤝 Struct and enum data access in harmony.

Bitcoin Implementation in Scala

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.

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/

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

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

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

Practice, thinking and reading

Semantics-aware Code Generation for Finding JS engine Vulnerabilities

ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines web, high load, and cloud programming in Java, featuring ultimate performance and scalability!

A collection of extensions to the ReactiveSwift framework.

Standard ML Compiler and Toolkit

Bitcoin chart for the terminal as command line util

C backend for PureScript

Functional programming and category theory for everyday JavaScript development

Transform regular expressions into finite state machines and output Go source code. This repository has migrated to https://gitlab.com/opennota/re2dfa

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

🦋 Fantasy Land compliant (monadic) alternative to Promises

An Open Source Android Launcher built with Scala on Android

A fancy and practical functional tools

Dead simple React state management to bring pure components alive

A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.

A python lens library for manipulating deeply nested immutable structures

Swift µframework with extensions for the Optional Type

Extraordinary JavaScript framework with unique declarative and functional architecture

A statically typed functional programming language for the web.