Kind
meta-cedille
| Kind | meta-cedille | |
|---|---|---|
| 4 | 1 | |
| 3,452 | 54 | |
| 1.4% | - | |
| 4.8 | 7.5 | |
| 17 days ago | 3 months ago | |
| Rust | Agda | |
| 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.
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
meta-cedille
-
Any small/simple proof languages?
If you're interested in something that's small, consistent and being able to prove a reasonable amount of things you might be interested in Cedille or my variation of it, Meta-cedille.
What are some alternatives?
Functional-Benchmarks - Collection of benchmarks of functional programming languages and proof assistants.
lambdalisp - A Lisp interpreter written in untyped lambda calculus
HVM - A massively parallel, optimal functional runtime in Rust
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
julia - The Julia Programming Language
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
ECMAScript 6 compatibility table - ECMAScript compatibility tables
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
rayon - Rayon: A data parallelism library for Rust
Rx.NET - The Reactive Extensions for .NET