mtrberzi

ym2608

VHDL clone of YM2608 (OPNA) sound chip

sudoku2smt

Convert Sudoku puzzles into problems for your favourite SMT solver

smtrecords

SMT solver test and benchmark framework

array-bounds-checker

array access checker for the Checker Framework

fldigi-kiss

demonstration application using the KISS interface to FLDIGI

z3

The Z3 Theorem Prover

fireband

manifold-backend-digital

Digital circuits backend for Manifold

manifold-core

Core library for Manifold frontends and backends

manifold-engine

Driver program for the Manifold toolchain

manifold-frontend

Frontend compiler for Manifold high-level language

nengo-gpu-surrogate-backend

An OpenCL-accelerated backend for population surrogate simulation with the Nengo 2.0 neural simulator

nengo-rt-backend

A Nengo 2.0 backend for the Nengo-RT real-time hardware simulator

re2smtlib

Python module to convert regular expressions to SMT-LIB syntax

riscv-test-env

sedq

Symbolic Execution Done Quick

smt-nes

Code generator for NES symbolic simulation

ssi

(archive)

ssi-java

Scarlet Sky Initiative (Java, archive)

stp

Simple Theorem Prover.

string-model-crosscheck

string-solver-tests

regression and path tests for string solver (Z3+str)

stringfuzz

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

uwarc-website

The markdown that runs http://uwarc.uwaterloo.ca/

z3test

Test and benchmark repository for Z3.