Aegypti: Approximate Clique Solver
Hallelujah: Approximate Vertex Cover Solver
A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more
