Awesome Open Source

Programming Languages

Search results for rust lambda calculus

lambda-calculus x

12 search results found

egg is a flexible, high-performance e-graph library

Fp Core.rs ⭐ 644

A library for functional programming in Rust

A proof assistant that is also a programming language.

Lambda_calculus ⭐ 85

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

Lalrpop Lambda ⭐ 70

A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.

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

Automagical variable binding library for Rust

implementation of Pure Type Systems (PTS) in Rust.

Types And Programming Languages ⭐ 27

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

Algorithmw Rust ⭐ 17

A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.

https://www.cis.upenn.edu/~bcpierce/tapl/

(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,068)

Python Rust (966)

Rust Blockchain (938)

C Plus Plus Rust (885)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.