SaaSHub helps you find the best software and product alternatives Learn more →
Minirust Alternatives
Similar projects and alternatives to minirust
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better minirust alternative or higher similarity.
minirust reviews and mentions
Posts with mentions or reviews of minirust.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-04.
-
The Cerberus C semantics [pdf]
People are working on the formal specification of rust. It isn't easy. There are at least three projects, maybe more if we include academia https://github.com/RalfJung/minirust has a summary of efforts in the end of the readme.
-
[...] each time a journalist is killed because of memory safety violations, one committee member who voted to add more UB or remove bounds checks should have their legs broken with a sledgehammer.
The real qualitative difference between the two is that C++ is developed as normative document shared by several software project. Rust, on the other hand, is developed as a software project, and its various efforts at codification, on the other hand, are targeted to make sure the pillars of the language is comprehensible and sound. Not at implementing a compiler front end in prose.
-
Tell HN: Rust Is Complex
Rust doesn’t handhold you for anything low-level. It’s just that Rust hides all that complexity beneath Unsafe Rust, which is an eldritch abomination of a language that no one quite knows all the rules yet… I hope the MiniRust project (https://github.com/RalfJung/minirust) succeeds in writing a formal spec of it someday.
-
Do we need a "Rust Standard"?
By the way, are you familiar with the MiniRust project?
-
Announcing: MiniRust
I compare MiniRust and Ferrocene at https://github.com/RalfJung/minirust#what-about-the-ferrocen.... :) TL;DR they re quite different in style, precision, and scope.
Yeah, I didn't even bother specifying a concrete syntax. This file specifies the "abstract syntax", i.e. the result produced by the parser; it doesn't really matter much how you choose to construct those datatypes.
-
The last two years in Miri
If you want a sneak peak and give some early feedback: https://github.com/RalfJung/minirust. The best channel for feedback is Zulip.
-
A note from our sponsor - SaaSHub
www.saashub.com | 1 May 2024
Stats
Basic minirust repo stats
7
764
9.2
3 days ago
minirust/minirust is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of minirust is Rust.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com