An Open Source Machine Learning Framework for Everyone

Bitcoin Core integration/staging tree

Protocol Buffers - Google's data interchange format

software version control visualization

The Z3 Theorem Prover

Automatic License Plate Recognition library

mawww's experiment for a better code editor

Zcash - Internet Money

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Hex-Rays Decompiler plugin for better code navigation

replay or stream website access logs as a retro arcade game

Automated static analysis tools for binary programs

Intel SGX for Linux*

DRAKVUF Black-box Binary Analysis

A do-it-yourself thermal imager, compatible with the FLIR Lepton 2.5, 3.1R and 3.5 sensor with Arduino firmware

Export disassemblies into Protocol Buffers

An open source interactive disassembler

Test DRAM for bit flips caused by the rowhammer problem

Simple Theorem Prover, an efficient SMT solver for bitvectors

Polaris: An LLVM-based obfuscator that protects software at various levels

The HT Editor: A file editor/viewer/analyzer for executables.

Simple VM based x86 PE (portable exectuable) protector.

Visual reverse engineering tool.

Python/C++ implementation of JSON to/from Protobuf convertor

High-throughput fuzzer and emulator of DECREE binaries

similarity digest hashing tool