Projects in Awesome Lists by uuverifiers
A curated list of projects in awesome lists by uuverifiers .
https://github.com/uuverifiers/ostrich
An SMT Solver for string constraints
regular-expressions smt-solver strings theorem-prover theorem-proving
Last synced: 14 Jan 2026
https://github.com/uuverifiers/princess
The Princess Theorem Prover
logic smt smt-lib smt-solver theorem-prover
Last synced: 16 Jan 2026
https://github.com/uuverifiers/tricera
TriCera: a model checker for C programs
Last synced: 16 Jan 2026