The Cerberus C semantics [pdf]

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

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
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • minirust

    A precise specification for "Rust lite / MIR plus"

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

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

  • Show HN: Fidoprobe – A utility to manage FIDO2 devices

    1 project | news.ycombinator.com | 15 May 2024

  • Accidentally breaking GitHub Actions with a shorthash collision

    1 project | news.ycombinator.com | 15 May 2024

  • The new APT 3.0 solver

    8 projects | news.ycombinator.com | 14 May 2024

  • Using Pavex for Rust web development

    1 project | dev.to | 15 May 2024

  • Show HN: Simple process manager written in Rust for Docker containers

    1 project | news.ycombinator.com | 15 May 2024