lambda-8cc
lambda-calculus-devkit
| lambda-8cc | lambda-calculus-devkit | |
|---|---|---|
| 13 | 1 | |
| 598 | 14 | |
| - | - | |
| 10.0 | 10.0 | |
| over 1 year ago | over 1 year ago | |
| Common Lisp | Makefile | |
| MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lambda-8cc
-
React Use C
ycombinator siding with the Amazonian cult of the carcinisation?! blasphemy! this submission is like a wanted poster for react-use-lambda to be summoned into existence from the great beyond https://github.com/woodrush/lambda-8cc
-
Any recommendations for advanced Lambda Calculus?
It is not what you want exactly, but there is a x86 C Compiler written in lambda-calculus, it has a pretty detailed "How it was done" in details.md - maybe you will find it interesting.
- This formula here is known as the “Standard Model Lagrangian”. It's an equation that encapsulates everything we currently know about particle physics.
- Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
- GitHub - woodrush/lambda-8cc: x86 C compiler written in untyped lambda calculus
- Any projects want/need help?
-
lambda-8cc: An x86 C compiler written in untyped lambda calculus
That said, I'm not sure where is the actual compiler implementation, files in src/ seem to be various tools: https://github.com/woodrush/lambda-8cc/tree/main/src
lambda-calculus-devkit
-
Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
Indeed he uses it here [1], which also gets used in lambda-8cc.
[1] https://github.com/woodrush/lambda-calculus-devkit
What are some alternatives?
react-use-rust - Use Rust in your React!
elvm - EsoLangVM Compiler Infrastructure
8cc - A Small C Compiler
AIT - Algorithmic Information Theory, using Binary Lambda Calculus
williamcotton.com - williamcotton.com
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
gameboy-brainfuck - Implementation of a brainfuck interpreter written for the Game Boy.
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
cps - A formalization of continuation-passing style calculi in Coq [WIP]
vellum - Data Frames for Common Lisp
lambdavm - A programmable virtual CPU written in untyped lambda calculus
react-use-c - Use C in your React!