The State of Affine Types in C++?

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/cpp

Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
  • borrow-cpp

    - borrow-cpp which exploits some null dereference checks in the infer static analyzer to model some of borrow checking.

  • infer

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

    - borrow-cpp which exploits some null dereference checks in the infer static analyzer to model some of borrow checking.

  • 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 number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts