Our great sponsors
-
It's described as a proof oriented programming language https://www.fstar-lang.org/
-
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.
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
- If You've Got Enough Money, It's All 'Lawful'
- [Hobby] Amateur Generalist Programmer Seeking to Put Bugfixing Skills to Good Use
- Use-After-Freedom: MiraclePtr
- Rust in Perspective (the author, Linus Walleij, is a Linux kernel contributor)
- F* – Microsoft's programming language with a superset of features over F#