A library for functional programming in Rust
-
Updated
Jul 12, 2022 - Rust
A library for functional programming in Rust
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Large Scale Type Systems (programming language)
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
A library for program induction and learning representations.
An implementation and tutorial for Lambda Calculus in Rust
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
Pure untyped lambda calculus in safe Rust.
Extended Krivine machine implemented in Rust.
Simple, proof-of-concept lambda calculus parser in Rust
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
STLC with generics, ADTs, pattern matching, and Rust FFI
Milligram Lisp - A lightweight, safe, embeddable lisp engine.
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."