494 Open source projects that are alternatives of or similar to Church

A library for functional programming in Rust

🔮 Estudos obscuros de programação funcional

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

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

🐦 Some combinators

十分钟魔法练习

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

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

A modern proof language

An interpreter for learning and exploring pure λ-calculus

Fun with λ calculus!

Simple Smart Pipe: python productivity-tool for rapid data manipulation

Learn Kotlin programming from scratch

theseus, functional programming language with fully reversible computation

Simple logging for ZIO apps, with correlation, context & pluggable backends out of the box.

Java 8 Guides and Tutorials - A lot of awesome examples using Java 8 features like Stream, Lambda, Functional Interface, Date and Time API and much more

A clone of the popular game Tetris.

Algebraic data types in Common Lisp

Fast and memory-efficient immutable collections and helper data structures

Lighter-than-air node.js server framework

Functional programming library for PHP. Inspired by Underscore, Lodash, and Ramda.

Add efficient pipelining, batching, and caching to any data source

Event sourcing for Akka Streams

An APL-like programming language. Self-hosted!

Statistics utilities for the JVM - in Scala!

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.

Code snippets for articles posted at 4comprehension.com

This repository is contains spring-boot 2 / spring framework 5 project examples. Using reactive programming model / paradigm and Kotlin

A library that simplifies error handling for Functional Programming in Java

Functional Experiment in Golang

Purely Functional Algorithms and Data Structures in Scala

A Real World Business Application using F# and Suave

A purely functional library to build distributed and event-driven systems

FPSheet: A Spreadsheet program with Haskell as the scripting language

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

A reactive programming library for JavaScript.

Transform and compose tagless final encoded algebras in scala

[outdated] A moddable MOBA in Formality

Pragmatic functional programming for Python inspired by F#

FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]

Functional style JSON parsing in Kotlin

Composable HTTP Client

Asynchronous data type with typed errors.

The dependency-aware, high-performance aardvark rendering engine. This repo is part of aardvark - an open-source platform for visual computing, real-time graphics and visualization.

Functional programming language for signal processing and sound synthesis

好玩的下拉刷新控件，让我们一起来回味童年

A statically typed functional programming language

Annotate Images (or goats) On The Web™

A PureScript, browser-based implementation of LDA topic modeling.

The Lux Programming Language

A CLI-based launcher and general productivity tool.

Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library

Optics library for Scala

⚙ A Task/Future data type for JavaScript

FP Challenges

A inferno utility belt for function components and higher-order components

Proof of concept for a cats-like library built using Dotty features

A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.