agriggio

Pinned Repositories

cbmc
C Bounded Model Checker
Language:C++0 1 01
diffblue-experiments
Language:Python0 1 00
llvm2kittel
llvm2KITTeL
Language:C++0 1 01
make_arq
A command-line tool for generating Sony A7RIII Pixel-Shift ARQ files
Language:Python21 4 84
pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:Python0 1 00
z3
The Z3 Theorem Prover
Language:C++0 1 00
RawTherapee
A powerful cross-platform raw photo processing program
Language:C++2.8k 89 6k316
halation-dctl
Simple halation DCTL.
Language:C50 6 34
pyvmt
Python library to create and check finite and infinite state transition systems
Language:Python5 3 11
utility-dctls
My creative and util DCTLs.
Language:C135 15 721

agriggio's Repositories

agriggio/make_arq
A command-line tool for generating Sony A7RIII Pixel-Shift ARQ files
Language:Python21 4 84
agriggio/cbmc
C Bounded Model Checker
Language:C++0 1 01
agriggio/diffblue-experiments
Language:Python0 1 00
agriggio/llvm2kittel
llvm2KITTeL
Language:C++0 1 01
agriggio/pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:Python0 1 00
agriggio/z3
The Z3 Theorem Prover
Language:C++0 1 00