typesandinference
By robkleffner
exp-flow
experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon] (by contrast-zone)
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.
surveyjs.io
featured
| typesandinference | exp-flow | |
|---|---|---|
| 1 | 1 | |
| - | 13 | |
| - | - | |
| - | 8.9 | |
| - | about 2 years ago | |
| JavaScript | ||
| - | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
typesandinference
Posts with mentions or reviews of typesandinference.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-03.
-
January 2021 monthly "What are you working on?" thread
I've got a few reference implementations of type inference algorithms that support principle types. They're all extensions of the Hindley-Milner type system, and so far I haven't tried to combine any of the extensions with other extensions. But I implemented them as similarly as possible so that the eventual attempt at joining them would not get hung up on implementation differences.
exp-flow
Posts with mentions or reviews of exp-flow.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-03.
-
January 2021 monthly "What are you working on?" thread
If someone would be interested in in my ramblings, here is a fresh link explaining the whole idea. It is some 20 minutes read if anyone has that much patience.
What are some alternatives?
When comparing typesandinference and exp-flow you can also consider the following projects:
kay - A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.
The-Spiral-Language - Functional language with intensional polymorphism and first-class staging.
ric-script - A modern scripting language; implemented in old school C, yacc & flex
yasl - Bytecode Interpreter for Yet Another Scripting Language (YASL).
Jasper - A programming language. Static types. Full type inference. Garbage collection. --- not stable
bluebird - A work-in-progess programming language modeled after Ada and C++