Aerugo – RTOS for aerospace uses written in Rust

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Scout Monitoring - Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com
featured
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.
www.influxdata.com
featured
  • aerugo

    Safety-critical applications oriented Real-Time Operating System written in Rust

  • Scout Monitoring

    Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.

    Scout Monitoring logo
  • specification

    Ferrocene Language Specification (by ferrocene)

    If by "no standard" you mean that there is no language specification for rust, then there is no standard. However, a language specification is not sufficient to verify program correctness, nor is it required.

    A standard may (and the C standard for example does) leave parts of the behavior as "implementation specific" and there's quite a few edge cases - and that's not even talking about "undefined behavior", of which there is plenty. An even in the behavior that is neither implementation specific nor undefined you'll find enough rope to hang yourself (all the beautiful pointers).

    On the other hand, the rust language - while having no formal spec - is fairly well described, in the form of its RFCs and testsuite. We (the ferrocene team) were able to derive a descriptive specification from the existing description fairly easily. So while there is no ISO standard, and no spec that would be sufficient to write a competing implementation, there is a description of what the language behaves like. You can read up on it at https://spec.ferrocene.dev/

    As for verification of correct behavior of such a program, you can employ a host of different techniques depending on what your requirements are - down to verification of the produced bytecode by means of blackbox testing or other.

  • awesome-safety-critical

    List of resources about programming practices for writing safety-critical software.

    https://awesome-safety-critical.readthedocs.io/en/latest/#so...

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • NSA urges orgs to use memory-safe programming languages

    2 projects | news.ycombinator.com | 11 Nov 2022
  • The James Webb Space Telescope Runs JavaScript, Apparently

    1 project | news.ycombinator.com | 19 Aug 2022
  • Ask HN: Is it worth it to learn C to better understand Python?

    1 project | news.ycombinator.com | 30 Jan 2022
  • Are Software Engineering “best practices” just developer preferences?

    1 project | news.ycombinator.com | 30 Sep 2021
  • Half of curl’s vulnerabilities are C mistakes, "could’ve been prevented if curl had been written in Rust"

    1 project | /r/rust | 10 Mar 2021

Did you konow that Python is
the 1st most popular programming language
based on number of metions?