kuroko-wasm-repl
In-browser REPL for Kuroko (by kuroko-lang)
minithesis
A very minimal implementation of the core idea of Hypothesis (by DRMacIver)
kuroko-wasm-repl | minithesis | |
---|---|---|
1 | 1 | |
8 | 115 | |
- | - | |
0.0 | 3.5 | |
about 1 year ago | about 2 months ago | |
C | Python | |
MIT License | GNU General Public License v3.0 or later |
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.
kuroko-wasm-repl
Posts with mentions or reviews of kuroko-wasm-repl.
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
Kuroko 1.3.0 gets a release candidate. Lots of big things since 1.2.5, like optimized method invocation, more operator overloads, better support for f-string expressions (format specs, =, faster constructions), a long type with my own bigint implementation (this was the last thing I was still regularly opening Python repls for, so a huge personal win). I also fixed a bunch of little things that have been nagging me, like the compiler can now compile expressions directly, which allowed me to remove the kludge that made the repl work previously. The WASM web repl also got some love with a port of the core of Hiwire from Pyodide, giving a very straightforward interface between JS and Kuroko in a browser - and I rebuilt the web IDE on it. I've also been working on a new compiler, which will hopefully form the basis of 2.0 - and this might be the last 1.x release (though I expect at least a few 1.3.x bug fix releases).
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.
What are some alternatives?
When comparing kuroko-wasm-repl and minithesis you can also consider the following projects:
boba - Boba Network Monorepo of the Optimism monorepo where Erigon sequencing happens :)
boba - A general purpose statically-typed concatenative programming language.
Charm-MacOS - MacOS executable for Charm
xvm - Ecstasy and XVM
butter - A tasty language for building efficient software. WIP
nasin-nanpa-pi-toki-pona - kepeken ilo ni la, sina ken pali e nasin nanpa kepeken toki pona.
tailspin-v0 - A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
grace - The Grace Programming Language
ShnooTalk - ShnooTalk is a new programming language
kuroko-wasm-repl vs boba
minithesis vs boba
kuroko-wasm-repl vs Charm-MacOS
minithesis vs xvm
kuroko-wasm-repl vs boba
minithesis vs Charm-MacOS
kuroko-wasm-repl vs butter
minithesis vs nasin-nanpa-pi-toki-pona
kuroko-wasm-repl vs tailspin-v0
minithesis vs butter
kuroko-wasm-repl vs grace
minithesis vs ShnooTalk