Benchmark problems for different models of automata, transducers, and related logics

Public BanditFuzz Repo

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

MonoSAT - An SMT solver for Monotonic Theories

ANTLR SMT-LIB v2 Grammar

Set of tests for fuzzing engines

a smol tcp/ip stack

A Audio Interface for the Zedboard

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

Free, open source mental health communication web app to share experiences with loved ones

Animated bunny for your terminal

Glorytales – Creative Commons Fantasy Music

A collection of static SSH keys (public and private) that have made their way into software and hardware products.

Reverse engineered SystemVerilog RTL version of the Yamaha OPL3 (YMF262) FM Synthesizer

Lean Theorem Prover

A Z3-Based String Constraint Solver

Python low-interaction honeyclient

The single instruction C compiler

Pluggable type-checking for Java

Simple Theorem Prover, an efficient SMT solver for bitvectors

An advanced SAT solver