ric-script-advent-of-code
minithesis
ric-script-advent-of-code | minithesis | |
---|---|---|
1 | 1 | |
1 | 115 | |
- | - | |
7.6 | 3.5 | |
4 months ago | about 2 months ago | |
Python | Python | |
- | 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.
ric-script-advent-of-code
-
August 2022 monthly "What are you working on?" thread
started solving advent of code problems with ric script. Link: https://github.com/Ricardicus/ric-script-advent-of-code
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?
xvm - Ecstasy and XVM
boba - A general purpose statically-typed concatenative programming language.
rlox - VM and compiler for the Lox programming language (http://craftinginterpreters.com) implemented in Rust
Charm-MacOS - MacOS executable for Charm
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)
TablaM - The practical relational programing language for data-oriented applications
grace - The Grace Programming Language