invariants topic
amcheck
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
factory
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
framework
Design by Contract framework for PHP
crab
A library for building abstract interpretation-based analyses
validity
Validity and validity-based testing
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
my-math-notes
All of my math stuff from grad school.
LoopInvGen
Generates loop invariants for program verification
nutype
Rust newtype with guarantees 🇺🇦 🦀