yasl
typesandinference
yasl | typesandinference | |
---|---|---|
2 | 1 | |
63 | - | |
- | - | |
4.8 | - | |
16 days ago | - | |
C | ||
MIT License | - |
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.
yasl
-
April 2021 monthly "What are you working on?" thread
Work on YASL has been going well this month: - I got a random contributor (maybe someone from this sub) who solved an issue and submitted a PR (thanks!) - I've been writing a package manager for YASL, in YASL, in order to test out YASL better; this has found a few minor bugs which I'm grateful for. - I've been writing a few libraries for YASL (e.g. complex numbers, big ints, TOML library) to test out said package manager + YASL itself; this has been going great too!
-
January 2021 monthly "What are you working on?" thread
Lot of progress on YASL (my embeddable scripting language) over the holidays.
typesandinference
-
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?
gaiman - Gaiman: Text based game engine and programming language
exp-flow - experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]
kuroko - Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.
kay - A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.
calypso - Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
ric-script - A modern scripting language; implemented in old school C, yacc & flex
pkg-tasks - Aument package for asynchronous I/O
delta - C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.
lngrs
The-Spiral-Language - Functional language with intensional polymorphism and first-class staging.
aulang - simple and fast scripting language