SaaSHub helps you find the best software and product alternatives Learn more →
OCaml Code Quality Projects
A static analyzer for Java, C, C++, and Objective-CProject mention: A quick look at free C++ static analysis tools | reddit.com/r/cpp | 2023-01-04
I notice there isn't fbinfer. It's pretty cool, and is used for this library.
Performant type-checking for python.Project mention: Ruby 3.2’s YJIT is Production-Ready | news.ycombinator.com | 2023-01-17
Python now has an optional type system and if you add one of them such as mypy or pyre to your CI process and you can configure GitHub to refuse the pull request until types are added you can make it somewhat strongly typed.
If you have a preexisting codebase I believe the way you can convert it is to add the types that you know on commits and eventually you will have enough types that adding the missing ones should be easy. For the missing ones Any is a good choice.
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
OCaml Code Quality related posts
1 project | reddit.com/r/ProgrammerHumor | 25 Dec 2022
Retrofitting null-safety onto Java at Meta
1 project | reddit.com/r/java | 22 Nov 2022
The State of Affine Types in C++?
2 projects | reddit.com/r/cpp | 22 Nov 2022
OCaml 5.0.0 - First Beta
1 project | reddit.com/r/programming | 20 Nov 2022
Crunchy Bridge's Ruby Back End: Sorbet, Tapioca, and Parlour
1 project | news.ycombinator.com | 3 Nov 2022
Formally Verifying Industry Cryptography
2 projects | news.ycombinator.com | 14 Jul 2022
Hard Things in Computer Science
2 projects | news.ycombinator.com | 28 Jun 2022
A note from our sponsor - #<SponsorshipServiceOld:0x00007fea59d6f880>
www.saashub.com | 1 Feb 2023