Why You Should Be Worried About the Future of C/C++ in Embedded: A Case for Rust

This page summarizes the projects mentioned and recommended in the original post on /r/rust
tla Specifications model-checking Verification High Performance

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • cxx

    Safe interop between Rust and C++

    • Our C++ code base doesn't have that problem, but there we face the problem that interop with Rust still isn't really straightforward (and at least at the moment cxx etc. don't really work because of things like https://github.com/dtolnay/cxx/issues/16) and it hasn't been designed to provide a C API.

  • tlaplus

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    • There are tools for both of those. Check out things like TLA+ (/r/TLA) and SparkPro/ADACore

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
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