meta-cedille
Kind
meta-cedille | Kind | |
---|---|---|
1 | 4 | |
55 | 3,456 | |
- | 1.5% | |
7.5 | 4.8 | |
4 months ago | 24 days ago | |
Agda | 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.
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.
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?
lambdalisp - A Lisp interpreter written in untyped lambda calculus
Functional-Benchmarks - Collection of benchmarks of functional programming languages and proof assistants.
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
HVM - A massively parallel, optimal functional runtime in Rust
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.
julia - The Julia Programming Language
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
ECMAScript 6 compatibility table - ECMAScript compatibility tables
rayon - Rayon: A data parallelism library for Rust
Rx.NET - The Reactive Extensions for .NET