| | A programmable virtual CPU written in untyped lambda calculus (github.com/woodrush) |
| 4 points by dangrigsby on Feb 10, 2024 | past |
|
| | Lambdalisp: A Lisp interpreter written in untyped lambda calculus (github.com/woodrush) |
| 3 points by return_to_monke on March 16, 2023 | past |
|
| | Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus (github.com/woodrush) |
| 249 points by woodrush on Oct 6, 2022 | past | 29 comments |
|
| | A Lisp Interpreter Implemented in Conway's Game of Life (github.com/woodrush) |
| 252 points by ruidlopes on Dec 23, 2021 | past | 85 comments |
|
