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. Learn more →
OCaml Code Quality Projects
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Project mention: An Introduction to Temporal Logic (With Applications to Concurrency Problems) | news.ycombinator.com | 2024-01-22I think most development occurs on problems that can't be formally modeled anyway. Most developers work on things like, "can you add this feature to the e-commerce site? And can the pop-up be blue?" which isn't really model-able.
But that's not to say that formal methods are useless! We can still prove some interesting aspects of programs -- for example, that every lock that gets acquired later gets released. I think tools like Infer[0] could become common in the coming years.
[0]: https://fbinfer.com/
Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11Did you come across pyre in your search? MIT license and pretty fast.
https://github.com/facebook/pyre-check
OCaml Code Quality related posts
- Should I Rust or should I Go
- CISA Director Easterly's comments about cyber security. Agree or disagree?
- silly guy
- Retrofitting null-safety onto Java at Meta
- The State of Affine Types in C++?
- OCaml 5.0.0 - First Beta
- Crunchy Bridge's Ruby Back End: Sorbet, Tapioca, and Parlour
-
A note from our sponsor - InfluxDB
www.influxdata.com | 26 Apr 2024
Index
Project | Stars | |
---|---|---|
1 | infer | 14,693 |
2 | pyre-check | 6,692 |
Sponsored