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

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

😴 Functional programming with lazy immutable iterables

A curated list of resources on why ES6 (aka ES2015) classes are NOT awesome

A functional-reactive style programming library for Clojure(script)

RxSwift를 스터디하는 공간

⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go

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

java port of Underscore.js

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

Functional programming for modern Fortran

morph your Ecto capabilities into the s t r a t o s p h e r e !

Generic programming for Scala

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

Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations

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.

𝛌 Awesome Idris resources

Facsimile Simulation Library

🎶 Library for declaratively manipulating the Web Audio API

An implementation of the Formality language in JavaScript

This is a movies sample app in Kotlin, which is part of a serie of blog posts I have written about architecting android application using different approaches.

Function bind syntax wrappers for mori

Ramda + Ramda Fantasy + Sanctuary REPL 🌿

A statically-typed strictly-evaluated garbage-collected readable programming language.

Functional programming in Swift

Code snippets for articles posted at 4comprehension.com

A mini Scala utility library

Functional constructs for Kotlin

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Type safe JSON decoder for TypeScript

ESLint rules to disable mutation and promote fp in JavaScript and TypeScript.

Formalisation of the linear lambda calculus in Coq

Functional programming toolbox

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

Checked Exceptions-enabled Java 8+ functional interfaces + adapters

Code Generation for Functional Programming, Concurrency and Generics in Golang

Educational computer programming environment using Haskell

Go Tutorials - Let's get our hands really dirty by writing a lot of Golang code

Personal blog source.

Launch your own Haskell study group. Now.

A library that simplifies error handling for Functional Programming in Java

A modular functional web framework

Dynamo DB Database Done Scala-way

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

🔥🔥 Kotlin Jetpack zero to hero. 新手到高手

An overview of Elm syntax and features

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Functional Experiment in Golang

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

🏷️ Tagged unions for vanilla JavaScript!

Lecture note on Lambda Calculus and Types for FLOLAC

iflux = immer.js + react.js

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

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

effect isolation in Python, to facilitate more purely functional code

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

Functional props composition for UI components (React.js & Vue.js)

⚡ 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.