133 Open source projects that are alternatives of or similar to BOHM1.1

An introduction to the Lambda Calculus

Book: Gentle Introduction to Dependent Types with Idris

十分钟魔法练习

The compilation target that functional programmers always wanted.

A library for interacting with blocking JDBC drivers using Kotlin Coroutines.

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.

An implementation of the Formality language in JavaScript

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

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

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

Code from my series on writing a Ruby compiler in Ruby

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

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions

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

Formalization of the polymorphic lambda calculus and its parametricity theorem

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.

Lambda Notebook: Formal Semantics in Jupyter

Elsa is a lambda calculus evaluator

Church Encoding Implementation in JavaScript

🔮 Estudos obscuros de programação funcional

Asteroid is a modern, multi-paradigm programming language that supports first-class patterns.

(λ) Educational lambda calculus interpreter

Being a part of a few C++ communities, I happen to run across some interesting links -- this is an attempt to categorize them. Thanks to Saurabh Malpani from "C++ Enthusiasts" for the suggestion.

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

Lambda calculus go brrrr

Bolt is a language with in-built data-race freedom!

λtext - higher-order file applicator

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

🐦 Some combinators

lambda calculus interpreter

Formalisation of the linear lambda calculus in Coq

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

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

Macro Lambda Calculus

A library for functional programming in Rust

Minimalistic dependent type theory with syntactic metaprogramming

⛪️ Church Encoding in JS

An inference engine for extensional untyped λ-calculus

An interpreter for learning and exploring pure λ-calculus

An interactive theorem prover based on lambda-tree syntax

LLVM pass that detects one undefined behavior, and emits code to delete your hard drive

A minimalist pure lazy functional programming language

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

Dependency injection example using higher order functions

Fun with λ calculus!

No longer being supported or maintained. A Graph Theory & Data Structure Library for JavaScript.

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

redux-saga helper functions to await dispatched actions

A modern proof language

Never: statically typed, embeddable functional programming language.

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

advanced compilers

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

⛓️ Blockchain + Smart contracts from scratch

Efficient and single-steppable ULC evaluation algorithm

🦩 Tools for Go projects

Coq formalizations of functional languages.

implementation of Pure Type Systems (PTS) in Rust.

Lecture note on Lambda Calculus and Types for FLOLAC