Lol

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

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • SaaSHub - Software Alternatives and Reviews
  • CompCert

    The CompCert formally-verified C compiler

    They are useful for theorem proving and formal verification, which does not play well with non-termination. For example, CompCert, a formally verified C compiler, is written in Coq. So yes, I think they qualify as programming languages.

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