The State of Affine Types in C++?

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

Our great sponsors
  • LearnThisRepo.com - Learn 300+ open source libraries for free using AI.
  • WorkOS - The modern API for authentication & user identity.
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • 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.

  • LearnThisRepo.com

    Learn 300+ open source libraries for free using AI. LearnThisRepo lets you learn 300+ open source repos including Postgres, Langchain, VS Code, and more by chatting with them using AI!

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