Is there a formally-proven real-time language/computing env. or operating system?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Truly a developer’s best friend
  • Zigi - Delete the most useless function ever: context switching.
  • seL4

    The seL4 microkernel

    Look into seL4 and in particular, it's MCS (Mixed-Criticality Systems) extensions for real time.

  • cakeml

    CakeML: A Verified Implementation of ML

    There is also Cake ML which is a formally verified functional programming language compiler and runtime.

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

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