-
Look into seL4 and in particular, it's MCS (Mixed-Criticality Systems) extensions for real time.
-
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.
-
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.
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)
-
Mathematics and Computation
-
Ask HN: Is it a good time for microkernel *nix OS
-
Linux Kernel Exploitation: CVE-2025-21756
-
Ask HN: What Comes After John Lions' Unix Commentary?