A cute friend for those days you can't type well

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A model-based API Fuzzer for SMT Solvers.

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

CaDiCaL SAT Solver

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

An advanced SAT solver

Automatic test case generator for P4 programs

Guide to p4lang repositories and some other public info about P4

Constant-Time Floating Point

LFSC Proof Checker

A simple C++ G-code parser

A web framework for Rust.

The reference P4 software switch

P4_16 reference compiler

A delta debugger for SMT benchmarks in SMT-LIB v2.

A basic toolkit for accessing the Cisco APIC

A tool to take call stack traces with minimal overheads

Zstandard - Fast real-time compression algorithm

JavaSMT - Unified Java API for SMT solvers.

Lepton is a tool and file format for losslessly compressing JPEGs by an average of 22%.

pySMT: A library for SMT formulae manipulation and solving

🌺 Minimalist Vim Plugin Manager

The single instruction C compiler

A simple parser for binary .stl files

Modular visual interface for GDB in Python

worst-case optimal join algorithm http://dl.acm.org/citation.cfm?id=2590991

Your worst case is our best case.