Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

SeaHorn Verification Framework

magma circuits

C Bounded Model Checker

All-purpose hypergraph partitioning tool

Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.

An abstraction library for interfacing EDA tools

An example of how to correctly parse python-like indentation-scoped files using flex (and bison).

IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany

QuAbS is a circuit-based QBF solver

AIGER format for Quantified Boolean Formulas

CAQE is a solver for quantified Boolean formulas

Quantified Boolean Matching

A tool used to visualize the relationships of variables & clauses in a SAT/2QBF problem; given the proper logging format, it can also step through the solving of the problem in graph form.

pySMT: A library for SMT formulae manipulation and solving

The Yices SMT Solver

Mutation Cover with Yosys (MCY)

Yosys Open SYnthesis Suite