typesandinference
By robkleffner
Jasper
A programming language. Static types. Full type inference. Garbage collection. --- not stable (by SebastianMestre)
typesandinference | Jasper | |
---|---|---|
1 | 4 | |
- | 56 | |
- | - | |
- | 6.4 | |
- | 3 months ago | |
C++ | ||
- | GNU Lesser General Public License v3.0 only |
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.
Jasper
Posts with mentions or reviews of Jasper.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-22.
-
Do people hand write predictive parsers?
The current Jasper parser can be read over on https://github.com/SebastianMestre/Jasper/blob/master/src/parser.cpp
-
Looking for a ~20k LOC open source C++ project in need of a refactor
You can check it out at https://github.com/sebastianmestre/jasper
- Does it make sense to write an interpreter in a non-GC programming language (like Rust or C)?
-
January 2021 monthly "What are you working on?" thread
The main thing I implemented in Jasper over the last month was sum types and switching over them.
What are some alternatives?
When comparing typesandinference and Jasper you can also consider the following projects:
exp-flow - experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]
MilkyTracker - An FT2 compatible music tracker
kay - A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.
ric-script - A modern scripting language; implemented in old school C, yacc & flex
OptSched - Optimizing scheduler. Combinatorial instruction scheduling project.
yasl - Bytecode Interpreter for Yet Another Scripting Language (YASL).
opensg-1.8 - This is a stripped down version of OpenSG 1.8.
mgclisp - An S-expression interpreter