Our great sponsors
-
Look into seL4 and in particular, it's MCS (Mixed-Criticality Systems) extensions for real time.
-
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.
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
- Does a truly secure Linux system exist?
- I had to relocate CHUNGUS because of the old warehouse I operate it is being torn down.
- Ask HN: What's the difference between a specification and an implementation?