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.
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
hvmcc
-
First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
Hey, I'm one of the devs currently working in the JS/Python to HVM transpiler. Very cool blog post series, and I think you would love to play with it. It is far away from being production ready, but any support is appreciated! :)
What are some alternatives?
Functional-Benchmarks - Collection of benchmarks of functional programming languages and proof assistants.
HVM - A massively parallel, optimal functional runtime in Rust
meta-cedille - Minimalistic dependent type theory with syntactic metaprogramming
julia - The Julia Programming Language
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
Rx.NET - The Reactive Extensions for .NET
llvm-project - The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
futhark - :boom::computer::boom: A data-parallel functional programming language
thorin2 - The Higher ORder INtermediate representation - next gen