lambda-calculus-devkit
kind
lambda-calculus-devkit | kind | |
---|---|---|
1 | 4 | |
14 | 156 | |
- | -2081.4% | |
10.0 | 9.1 | |
over 1 year ago | 6 days ago | |
Makefile | Rust | |
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-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
kind
- Kind: A lambda-calculus based pure programming language
-
Can one use lambda calculus as an IR?
Depending on what you mean by practical it already is! https://github.com/HigherOrderCO/Kind HVM was developed to be an efficient backend for the Kind language from the same folks
-
First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
One thing that you can use right now is Kind, a functional language and proof assistant.
-
Brett Slatkin: Why am I building a new functional programming language?
Hey, that's pretty cool! The lang that targets this runtime is https://github.com/HigherOrderCO/Kind
What are some alternatives?
elvm - EsoLangVM Compiler Infrastructure
Functional-Benchmarks - Collection of benchmarks of functional programming languages and proof assistants.
AIT - Algorithmic Information Theory, using Binary Lambda Calculus
HVM - A massively parallel, optimal functional runtime in Rust
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
meta-cedille - Minimalistic dependent type theory with syntactic metaprogramming
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
julia - The Julia Programming Language
lambda-8cc - x86 C compiler written in untyped lambda calculus
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
ECMAScript 6 compatibility table - ECMAScript compatibility tables
rayon - Rayon: A data parallelism library for Rust