OCaml Code Quality Projects

infer

26 13,792 9.9 OCaml

A static analyzer for Java, C, C++, and Objective-C

Project 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.
pyre-check

3 6,208 9.9 OCaml

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.
https://pyre-check.org and https://github.com/python/mypy are popular.
InfluxDB

www.influxdata.com
sponsored

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.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-17.