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

Async/await reactive tools for Python 3.9+

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

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

Boilerplate-free syntax for computations with effects

💊 steroids for Xcode Playgrounds

Quick, graphical, fun introduction to programming in Scala.

Go Interface Mocking Tool

Functional programming toolkit for building server applications in Scala.

🎱 Composable, transformable, controllable randomness.

C++ as a Pure Functional Programming Language

A python-ish pure and total functional programming language

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

Jargon from the functional programming world in simple terms!

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

🤝 Struct and enum data access in harmony.

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

Bitcoin Implementation in Scala

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.

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

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 functional language for C99 preprocessor metaprogramming

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

This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp

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

A purely functional JSON library for Kotlin built on Λrrow

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

Compositional, streaming I/O library for Scala

Practice, thinking and reading

The practice of MVI + Jetpack architecture in Android.

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!

Python library for creating data pipelines with chain functional programming

Semantics-aware Code Generation for Finding JS engine Vulnerabilities

A compiler from ML to C++ template language

Standard ML Compiler and Toolkit

Next Level MTL for Scala

Bitcoin chart for the terminal as command line util

A puzzle game inspired by functional programming

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

Android library that creates app shortcuts from annotations

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

Power of object-oriented programming with the elegance of functional programming in PHP.

An Open Source Android Launcher built with Scala on Android

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

A fancy and practical functional tools

Swift µframework with extensions for the Optional Type

Umple: Model-Oriented Programming - embed models in code and vice versa and generate complete systems

Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)

A YANG-centric Go toolkit - Go/Protobuf Code Generation; Validation; Marshaling/Unmarshaling

Extraordinary JavaScript framework with unique declarative and functional architecture

A statically typed functional programming language for the web.

Defines immutable, safe data structures for describing IP addresses, multicast joins, socket addresses and similar IP & network related data types

Asynchronous, Reactive Programming for Scala and Scala.js.

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

Collection of fast and lazy operations

JavaScript parser-combinator library

A (more or less) one page introduction to Nix, the language.

A simple, lightweight and powerful field validation library for Android.

Thread-safe, persistent, immutable collections for the Crystal language

CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library