vedadux

Fault-Resistant-Partitioning

IronMask

SPIRV-LLVM-Translator

A tool and a library for bi-directional translation between SPIR-V and LLVM IR

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

cbmc

C Bounded Model Checker

boolector

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

emusca

Power trace simulator using Unicorn Engine for side channel analysis attack testing

verilator

Verilator open-source SystemVerilog simulator and lint system

vhd2vl

approxmc

Approximate Model Counter

angr

A powerful and user-friendly binary analysis platform!

cproc

C11 compiler (mirror)

pysat

A toolkit for SAT-based prototyping in Python

dynamic-loader

A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)

soliterm

Unicode Solitaire Game for the terminal

mario

Master thesis

meltdown

This repository contains several applications, demonstrating the Meltdown bug.

caqe

CAQE is a solver for quantified Boolean formulas

configurable-DES

A fully customizable DES implementation for testing attacks

r4ge

Symbolic Execution Tool in r2

cadical

CaDiCaL SAT Solver

ddSMT

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

react-color

:art: Color Pickers from Sketch, Photoshop, Chrome, Github, Twitter & more

PHP-OAuth2

Light PHP wrapper for the OAuth 2.0 protocol (based on OAuth 2.0 Authorization Protocol draft-ietf-oauth-v2-15)