minithesis
sprachli
minithesis | sprachli | |
---|---|---|
1 | 2 | |
115 | 2 | |
- | - | |
3.5 | 0.0 | |
about 2 months ago | about 1 year ago | |
Python | Rust | |
GNU General Public License v3.0 or later | 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.
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.
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
What are some alternatives?
boba - A general purpose statically-typed concatenative programming language.
kuroko - Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.
xvm - Ecstasy and XVM
TablaM - The practical relational programing language for data-oriented applications
Charm-MacOS - MacOS executable for Charm
nasin-nanpa-pi-toki-pona - kepeken ilo ni la, sina ken pali e nasin nanpa kepeken toki pona.
Forscape - Scientific computing language
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)