Road to 1.0/ Zig

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/programming
#Data structures #Compiler #Dependent Types #Zig #Agda

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

  • zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

    https://github.com/ziglang/zig/issues/3823#issuecomment-560159561 seems to be at least part of the reasoning.

  • Agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Significant nit: this isn't true. The whole domain of "high-assurance software" is about this, with examples such as CompCert and seL4. There are tools like Frama-C that support you in proving things about your C; [proof assistants]() that let you extract Haskell, OCaml, or Scheme from proofs so the code is correct by construction; and languages like CakeML, F*, Agda, Idris, ATS... that are both programming languages and proof assistants.

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

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