All Categories → No Category → invariants

Top 4 invariants open source projects

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

✭ 74

c PLpgSQL postgres corruption postgresql verification invariants btree-indexes collation

Static Analyzer for LLVM bitcode based on Abstract Interpretation

✭ 180

c C++CMake python llvm static-analysis program-analysis invariants software-verification abstract-interpretation

All of my math stuff from grad school.

✭ 41

TeX computer-science topology math physics homotopy-theory invariants manifold khovanov-homology graduate-school

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

1-4 of 4 invariants projects