sprachli
minithesis
sprachli | minithesis | |
---|---|---|
2 | 1 | |
2 | 115 | |
- | - | |
0.0 | 3.5 | |
about 1 year ago | about 2 months ago | |
Rust | Python | |
MIT License | GNU General Public License v3.0 or later |
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.
sprachli
-
Guidance on polymorphism in regards to trying to make a programming language
If you want some inspiration, this is what my Value enum looks like: https://github.com/SillyFreak/sprachli/blob/main/src/vm/value.rs
-
August 2022 monthly "What are you working on?" thread
I'm working on Sprachli, just for fun. It's currently a very simple imperative language with rust-like syntax and a bytecode VM, with only string numbers and booleans supported and those not comprehensively. I plan to evolve this either in the direction of a simple scripting language that could be embedded e.g. as an spreadsheet-style formula language, or on the completely opposite side of the spectrum a statically typed language to experiment with the Hindley-Milner type system and effect. So yeah, not much tere yet, but I'm enjoying the work
minithesis
-
August 2022 monthly "What are you working on?" thread
I've never made a system like this before, and my initial research seems to suggest that it's a lot of work. Doing a lot of work before being able to use a feature is not my favorite thing, so I looked for really basic implementations of property testing that I could model. Minithesis seems like a small but comprehensive start.
What are some alternatives?
kuroko - Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.
boba - A general purpose statically-typed concatenative programming language.
TablaM - The practical relational programing language for data-oriented applications
xvm - Ecstasy and XVM
Charm-MacOS - MacOS executable for Charm
Forscape - Scientific computing language
nasin-nanpa-pi-toki-pona - kepeken ilo ni la, sina ken pali e nasin nanpa kepeken toki pona.
kuroko-wasm-repl - In-browser REPL for Kuroko
butter - A tasty language for building efficient software. WIP
ShnooTalk - ShnooTalk is a new programming language
awesome-low-level-programming-languages - A curated list of low level programming languages (i.e. suitable for OS and game programming)