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 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.
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.
I solved collatz, but I have no idea how to write a paper.
2 projects | reddit.com/r/Collatz | 15 May 2022
Eli5, What is a proof assistant
1 project | reddit.com/r/explainlikeimfive | 19 Mar 2022
Integer overflow causes Russel's paradox
1 project | news.ycombinator.com | 22 Dec 2021
What input method would you prefer for Unicode characters in a neovim plugin?
7 projects | reddit.com/r/agda | 18 Oct 2021
Type in type and HoTT exercises
1 project | reddit.com/r/agda | 28 Aug 2021