Thoughts and stuff
73
stars
12
commits
JavaScript
primary language
Apr 30, 2020
updated
Oracle-free terms are turing-complete.
Expressing side effects with Recipes.
Explaining λ-encodings with JS.
Theorem proving vs testing.
Supercompilation for free.
12 commits
VictorTaelin/optlam
An optimal function evaluator written in JavaScript.
139
VictorTaelin/lambench
58
VictorTaelin/absal-ex
Absal ex
59
VictorTaelin/Caramel
A modern syntax for the λ-calculus.
418
VictorTaelin/abstract-algorithm
Optimal evaluator of λ-calculus terms.
287
VictorTaelin/lambda-calculus
A simple, clean and fast implementation of the λ-calculus on JavaScript.
52
VictorTaelin/LJSON
JSON extended with pure functions.
499
VictorTaelin/ESCoC
A nano "theorem prover".
63
74.2%
Haskell
25.8%
