Jasper
A programming language. Static types. Full type inference. Garbage collection. --- not stable (by SebastianMestre)
typesandinference
By robkleffner
Jasper | typesandinference | |
---|---|---|
4 | 1 | |
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.
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.
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 Jasper and typesandinference you can also consider the following projects:
MilkyTracker - An FT2 compatible music tracker
exp-flow - experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]
kay - A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.
OptSched - Optimizing scheduler. Combinatorial instruction scheduling project.
ric-script - A modern scripting language; implemented in old school C, yacc & flex
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