Our great sponsors
-
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.
If this interests you, I'd highly recommend checking out CompCert (docs here) and CakeML.
If this interests you, I'd highly recommend checking out CompCert (docs here) and CakeML.
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
- So you think you know C?
- The future of Clang-based tooling
- CakeML – A Verified Implementation of ML
- Recently I am having too much friction with the borrow checker... Would you recommend I rewrite the compiler in another language, or keep trying to implement it in rust?
- Tools for Verifying a Language and its Semantics