minithesis
A very minimal implementation of the core idea of Hypothesis (by DRMacIver)
butter
A tasty language for building efficient software. WIP (by neverRare)
minithesis | butter | |
---|---|---|
1 | 2 | |
115 | 111 | |
- | - | |
3.5 | 8.9 | |
about 2 months ago | over 1 year ago | |
Python | Rust | |
GNU General Public License v3.0 or later | Apache License 2.0 |
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.
butter
Posts with mentions or reviews of butter.
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
Butter has continued in development. Currently working on pretty printer so that I could test out typed ast before working on next stage: mid-level IR and lifetime analysis. It was in hiatus when I was in busy uni stuffs. But now I think I have more time now.
-
June 2021 monthly "What are you working on?" thread
Hello! I've been working on Butter programming language and it's starting to get shape. Butter is heavily influenced by Rust and I want it to be concise and high-level as much as possible.
What are some alternatives?
When comparing minithesis and butter you can also consider the following projects:
boba - A general purpose statically-typed concatenative programming language.
xvm - Ecstasy and XVM
tailspin-v0 - A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
Charm-MacOS - MacOS executable for Charm
Pipefish - Source code for the Pipefish programming 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
tokay - Tokay is a programming language designed for ad-hoc parsing, inspired by awk.
ShnooTalk - ShnooTalk is a new programming language