Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for beta reduction
beta-reduction
x
3 search results found
Lambda_calculus
⭐
85
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Typesandproofs
⭐
28
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Typeless
⭐
17
an interpreter for λ-calculus implemented in ruby
Related Searches
Lambda Functions Beta Reduction (3)
Calculus Beta Reduction (3)
Lambda Calculus Beta Reduction (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
