Stars
In which a PDF is a Git Repository Containing its own LaTeX Source and a Copy of Itself
Words of the same length with related meanings.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
List of resources about programming practices for writing safety-critical software.
A curated list of Bazel rules, tooling and resources.
A curated list of awesome resources related to the Ada and SPARK programming language
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Mount kubernetes metadata storage as a filesystem
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
Dafny is a verification-aware programming language
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Below are some simple methods for exiting vim.
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
Good-lookin' diffs. Actually… nah… The best-lookin' diffs. 🎉
A community-driven list of awesome linters.
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
