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.
This is very easy with dependent types! For example, in Kind:
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