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 /r/ProgrammingLanguages
hardware-buttons linkedin-bot template-engine-js

Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
featured
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured

  1. seL4

    The seL4 microkernel

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

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo

  3. cakeml

    CakeML: A Verified Implementation of ML

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

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

  • Software can literally be perfect (talks about some important logical ideas that make the Rust ownership system work, and how we could build a provably correct Rust compiler)

    2 projects | /r/rust | 16 Feb 2022

  • Mathematics and Computation

    3 projects | /r/ProgrammingLanguages | 24 Dec 2021

  • Ask HN: Is it a good time for microkernel *nix OS

    2 projects | news.ycombinator.com | 2 May 2025

  • Linux Kernel Exploitation: CVE-2025-21756

    1 project | news.ycombinator.com | 1 May 2025

  • Ask HN: What Comes After John Lions' Unix Commentary?

    3 projects | news.ycombinator.com | 28 Jul 2024
Loading...