Our great sponsors
-
Kind
Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
The plan for Kind itself seems to be to allow possibly unsound expressions (for example that don’t terminate), but to have consistency checkers. See:
https://github.com/kind-lang/Kind/blob/master/CONTRIBUTE.md#...
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- Kind: A lambda-calculus based pure programming language
- Eliezer Yudkowsky has great news: "Parents conceiving today may have a fair chance of their kids living to see kindergarten."
- Somos os devs da HVM, o compilador Brasileiro que rodou o mundo. Vamos colocar nosso logo no /r/place?
- How to handle list / contiguous array definition and implementation in a type system?
- Type Checking as Calculation