lambda-calculus topic
List
lambda-calculus repositories
cube.idr
6
Stars
0
Forks
Watchers
An implementation of the Lambda Cube in Idris.
blc
6
Stars
1
Forks
Watchers
Binary lambda calculus
lambda_calculus
98
Stars
10
Forks
Watchers
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
gidti
75
Stars
4
Forks
Watchers
Book: Introduction to Dependent Types with Idris
js-church-encoding
35
Stars
3
Forks
Watchers
Church Encoding Implementation in JavaScript
lambda-machine
55
Stars
3
Forks
Watchers
A simple UI for evaluating expressions in the untyped lambda calculus
church
126
Stars
10
Forks
Watchers
:church: Church Encoding in JS
combinators-js
136
Stars
10
Forks
Watchers
:bird: Some combinators
program-induction
29
Stars
7
Forks
Watchers
A library for program induction and learning representations.