minithesis
A very minimal implementation of the core idea of Hypothesis (by DRMacIver)
awesome-low-level-programming-languages
A curated list of low level programming languages (i.e. suitable for OS and game programming) (by robertmuth)
| minithesis | awesome-low-level-programming-languages | |
|---|---|---|
| 1 | 12 | |
| 115 | 167 | |
| - | - | |
| 3.5 | 4.9 | |
| about 2 months ago | 17 days ago | |
| Python | ||
| 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.
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.
awesome-low-level-programming-languages
Posts with mentions or reviews of awesome-low-level-programming-languages.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-03-21.
-
Cwerg: C-like language that can be implemented in 10kLOC
(see https://github.com/robertmuth/awesome-low-level-programming-...)
- Good resources to find new and in development programming languages?
-
Where are the C Alternatives?
I am maintaining a list low level languages here: https://github.com/robertmuth/awesome-low-level-programming-languages feel free to send PRs for corrections and additions.
- old languages compilers
-
Georgia Tech professor's thoughts on C/C++ alternatives
A curated list of langauges like the ones mentioned in the video: https://github.com/robertmuth/awesome-low-level-programming-languages
-
August 2022 monthly "What are you working on?" thread
More of a meta project to help me understand the "space": awesome-low-level-programming-languages
- Creator of SerenityOS announces new Jakt programming language effort
-
May 2022 monthly "What are you working on?" thread
I have started looking into a frontend language. Not sure yet if I should roll my own or try to hook up Cwerg to an existing language. In any case that language should be a systems language similar to the ones described in awesome-low-level-programming-languages.
-
If Lua is faster and smaller than Python, while being just as powerful and capable, then why is Python so much more popular?
Funny, I am also in the market for a C++ alternative and had looked at Nim before. I felt it was a bit "kitchen-sinky" but I'll give it another shot. A comparison of system languages that came out of this effort can be found here: https://github.com/robertmuth/awesome-low-level-programming-languages
-
Announcement: Seed7 version 2021-12-25
Unrelated: I maintain https://github.com/robertmuth/awesome-low-level-programming-languages feel free to send a PR with an entry for seed7 if you feel it is appriopriate.
What are some alternatives?
When comparing minithesis and awesome-low-level-programming-languages you can also consider the following projects:
boba - A general purpose statically-typed concatenative programming language.
Vale - Compiler for the Vale programming language - http://vale.dev/
xvm - Ecstasy and XVM
Forscape - Scientific computing language
Charm-MacOS - MacOS executable for Charm
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
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
GLhf - OpenGL Application Abstraction
butter - A tasty language for building efficient software. WIP
schmu - A WIP programming language inspired by ML and powered by LLVM
minithesis vs boba
awesome-low-level-programming-languages vs Vale
minithesis vs xvm
awesome-low-level-programming-languages vs Forscape
minithesis vs Charm-MacOS
awesome-low-level-programming-languages vs Nim
minithesis vs nasin-nanpa-pi-toki-pona
awesome-low-level-programming-languages vs boba
minithesis vs kuroko-wasm-repl
awesome-low-level-programming-languages vs GLhf
minithesis vs butter
awesome-low-level-programming-languages vs schmu