lambda-calculus topic

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

orsinium-labs

Large Scale Type Systems (programming language)

andrew-johnson-4

Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.

ditekunov

λλλλ Lennart Augustsson's λ-calculus cooked four ways

steshaw

Bologna Optimal Higher-Order Machine, Version 1.1

asperti

λtext - higher-order file applicator

ltext

an interpreter for λ-calculus implemented in ruby

gurbaaz27

Common Lisp DSL for building untyped lambda calculus expressions

woodrush

Lambda calculus go brrrr

lunarcast

js lambda calculus implementation of the fibonacci sequence

OscarSaharoy