OCaml Code Quality

Open-source OCaml projects categorized as Code Quality

OCaml Code Quality Projects

  • infer

    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

    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

    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.

OCaml Code Quality related posts


Project Stars
1 infer 13,792
2 pyre-check 6,208
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives