523 Open source projects that are alternatives of or similar to Lambda

Church Encoding Implementation in JavaScript

Swift + Redux + (Combine|RxSwift|ReactiveSwift) -> SwiftRex

Efficient and single-steppable ULC evaluation algorithm

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

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

🛡Agnostic validation library for JavaScript applications.

λtext - higher-order file applicator

Abstract krivine machine implementing call-by-name semantics. In OCaml.

on the way to cleanest react architechture

Formalisation of the linear lambda calculus in Coq

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

Functional utility library for Apex

Some incremental examples suitable to host an AWS Lambda Functions workshop

🦋Practical functional Go

Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

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

Python port of underscore.js

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

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

Fast, small and purely functional utility library

🐏 A CLI tool for processing data with functional pipelines

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Type-safe, statically checked composition of HTTP servers

An introduction to the Lambda Calculus

An inference engine for extensional untyped λ-calculus

The Official Shen Sources

A mini Scala utility library

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

A reasonable collection of plugins to use alongside your main esLint configuration

A Full MERN Stack Boilerplate for Web Apps including a local authentication system. Uses React, Express.js, MongoDB, Redux, Passport.js, Webpack, Testing, and more.

Never: statically typed, embeddable functional programming language.

Haskell Framework for Electronic Music

(λ) Educational lambda calculus interpreter

Formalization of the polymorphic lambda calculus and its parametricity theorem

implementation of Pure Type Systems (PTS) in Rust.

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

Minimalistic dependent type theory with syntactic metaprogramming

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

A static single-page application resume-builder developed using React.js and JSON Resume schema (https://suddi.io/)

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.

Lecture note on Lambda Calculus and Types for FLOLAC

Book: Gentle Introduction to Dependent Types with Idris

Small utils set built around Ramda

🦄🌈🍄 algebraic style composition for functional UIs

🐏 Learn ramda, the interactive way

Discriminated unions, pattern matching and partial applications for C#

⛓️ Blockchain + Smart contracts from scratch

Recursive descent parsing library for Python based on functional combinators

Lambda Notebook: Formal Semantics in Jupyter

Type-safe, functional string formatting in Swift.

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

An interactive theorem prover based on lambda-tree syntax

Purely functional reactive programming library

See your city's air pollution measured in daily cigarettes. iOS/Android.

A Nintendo™ Game Boy™ Emulator written in Elm.

Ramda inspired library of helper functions for ReasonML

Ruby port of http://ramdajs.com

A functional module for Deno inspired from Ramda.