minithesis
A very minimal implementation of the core idea of Hypothesis (by DRMacIver)
grace
The Grace Programming Language (by ryanjeffares)
minithesis | grace | |
---|---|---|
1 | 2 | |
115 | 3 | |
- | - | |
3.5 | 0.0 | |
about 2 months ago | over 1 year ago | |
Python | C++ | |
GNU General Public License v3.0 or later | MIT License |
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.
minithesis
Posts with mentions or reviews of minithesis.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-31.
-
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.
grace
Posts with mentions or reviews of grace.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-31.
-
August 2022 monthly "What are you working on?" thread
I've made a lot of great progress on Grace, my bytecode interpreted language. Its syntax is inspired by Python, but it's very opinionated with some more "rigid" semantics. While there are probably some bugs I need to find and weird syntax errors I haven't tried yet that will break the compiler, it's got functions, control flow, file importing, built in primitive types and lists and dictionaries, and exceptions fully implemented.
-
C++ Show and Tell - April 2022
I've been working on my own interpreted language Grace (https://github.com/ryanjeffares/grace) using C++17. It's similar to Python and Ruby, but I intend on using reference counting as opposed to a garbage collector. Top priority now are classes, functions as first class objects, importing other files, native functions, and squeezing out some more performance - most operations are really fast but my function calls are a serious bottleneck, will need a refactor. It's my first lang after following Robert Nystrom's Crafting Interpreters and some other resources, been a tonne of fun!
What are some alternatives?
When comparing minithesis and grace you can also consider the following projects:
boba - A general purpose statically-typed concatenative programming language.
Jinx - Embeddable scripting language for real-time applications
xvm - Ecstasy and XVM
RESTCpp - Cross Platform Multi threaded REST API / HTTP Server framework using thread-pooling implementation with modern C++
Charm-MacOS - MacOS executable for Charm
rodin - Modern C++17 finite element method and shape optimization framework.
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
chrgfx - Converts to and from tile based graphics from retro video game hardware