kay
A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology. (by joakim)
typesandinference
By robkleffner
| kay | typesandinference | |
|---|---|---|
| 1 | 1 | |
| 19 | - | |
| - | - | |
| 0.0 | - | |
| about 3 years ago | - | |
| Apache License 2.0 | - |
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.
kay
Posts with mentions or reviews of kay.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-03.
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.
What are some alternatives?
When comparing kay and typesandinference you can also consider the following projects:
bluebird - A work-in-progess programming language modeled after Ada and C++
exp-flow - experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]
yasl - Bytecode Interpreter for Yet Another Scripting Language (YASL).
ric-script - A modern scripting language; implemented in old school C, yacc & flex
Jasper - A programming language. Static types. Full type inference. Garbage collection. --- not stable
modular-breadboard-base - Breadboard base with attachment slots for various modules
sddm-blade-runner-theme - Blade Runner theme for sddm
The-Spiral-Language - Functional language with intensional polymorphism and first-class staging.