NVIDIA Security Team: "What if we just stopped using C?" (This is not about Rust)

This page summarizes the projects mentioned and recommended in the original post on /r/programming
Rust WASM Safe JIT buzzword-bingo

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

  • Base_64

    A package for handling Base64 strings.

    • The thing about SPARK is that it takes that sort of provability-notion and allows you to apply it to your program as-a-whole, and not as comment-annotations (which easily get out-of-synchronization w/ the code) but as a part of the actual code itself (leveraging the Ada 2012 "aspect" system). — So, what you end up with is a very nice way to enable/write/deploy provably-correct code. (Here's a Base64 encoder/decoder I did, and that's the ugly "I'm teaching myself this" combined with [IIRC] a few compiler-bugs [then I was using bleeding-edge stuff].)

  • spark2014

    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    • SPARK is available as open source and can be installed using Alire.

  • 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.

    InfluxDB logo

  • M-1

    An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x)

  • RIIR

    why not Rewrite It In Rust

  • wasmtime

    A fast and secure runtime for WebAssembly

  • rustix

    Safe Rust bindings to POSIX-ish APIs

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