The efficient SMT-based context-bounded model checker (ESBMC)

Stack trace visualizer

Lean 4 programming language and theorem prover

Ghidra is a software reverse engineering (SRE) framework

An extremely fast Python package and project manager, written in Rust.

Formatted C++20 stdlib man pages (cppreference)

A model-based API Fuzzer for SMT Solvers.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

AIGER And-Inverter-Graph Library

the only cheat sheet you need

📖 A collection of pure bash alternatives to external processes.

SAT Solver SATCH

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Tunable Scrambler for CNFs

The Z3 Theorem Prover

C++ Insights - See your source code with the eyes of a compiler

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Travis.yml to run repoman in your overlay.

Function graph tracer for C/C++/Rust/Python

A generic parser and tool package for the BTOR2 format.

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

CaDiCaL SAT Solver

Lingeling SAT Solver