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

Formalization of the polymorphic lambda calculus and its parametricity theorem

Some incremental examples suitable to host an AWS Lambda Functions workshop

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

A Real World Business Application using F# and Suave

Lambda Notebook: Formal Semantics in Jupyter

A bunch of helper functions to ease the development of your applications.

Book: Gentle Introduction to Dependent Types with Idris

A data access library for Scala + Postgres.

Church Encoding Implementation in JavaScript

😎 The open-source, Haskell-built video editor for GIF makers.

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

🖥️ a cross-platform modern shell.

An Intellij/Android Studio plugin to help visualise side effects in your code.

Assorted functional-oriented data structures and algorithms for Java.

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

effect isolation in Python, to facilitate more purely functional code

🎬 The source for www.pointfree.co, a video series on functional programming and the Swift programming language.

FPSheet: A Spreadsheet program with Haskell as the scripting language

Zero Framework：http://www.vertxup.cn

The Official Shen Sources

A simple library for creating complex neural networks

"every time I watch one of his talks I feel like someone has gone in and organized my brain"

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Never: statically typed, embeddable functional programming language.

🌙 The minimal & fast library for functional user interfaces

🥃 Functional Algebraic Data Types

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

⚡️ λ PHP functional library focused on simplicity and performance

Innovative and practical general-purpose multi-paradigm language

Library of utilities for tagless final encoded algebras

Functional additions to C

A tiny, fast, unopinionated handler for updating JS objects and arrays immutably

A robust option type for C#

Functional programming in bash

A reactive programming library for JavaScript.

A porting to TypeScript featuring fp-ts, rxjs6 and React

Kickstarter for Android. Bring new ideas to life, anywhere.

Practice, thinking and reading

Java library for handling exceptions in concise, unified, and architecturally clean way.

Jargon from the functional programming world in simple terms!

Modify deeply nested case class fields

A fancy and practical functional tools

Transform and compose tagless final encoded algebras in scala

💊 steroids for Xcode Playgrounds

Desugaring scala `for` without implicit `withFilter`s

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/

Algebraic effects for Ruby

Bitcoin chart for the terminal as command line util

A visual Haskell

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

[outdated] A moddable MOBA in Formality

The Felix Programming Language

⚡ Pattern Matching in Typescript

An STM implementation for Cats Effect

Functional DevOps with Scala and Kubernetes

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

🤖 Repeat tests. Repeat tests. Repeat tests.

An advanced, but easy to use, platform for writing functional applications in Java 8.

An OCaml based implementation of a Quil QVM

Async-capable IO monad for JS