An Open Source Machine Learning Framework for Everyone

Truly independent web browser

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

The Serenity Operating System 🐞

Productive, portable, and performant GPU programming in Python.

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

MLX: An array framework for Apple silicon

a small build system with a focus on speed

The Z3 Theorem Prover

Record and Replay Framework

RetDec is a retargetable machine-code decompiler based on LLVM.

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

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

rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.

High Efficiency Image File Format

wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer designed for attacking user and / or kernel-mode targets running on Microsoft Windows and Linux user-m…

Static Value-Flow Analysis Framework for Source Code

OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.

Intel SGX for Linux*

A lightweight dynamic instrumentation library

Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android

DRAKVUF Black-box Binary Analysis

SymCC: efficient compiler-based symbolic execution

5G NR Attacks against Qualcomm and Mediatek smartphones. Fuzzer included⚡

Fuzz anything with Program Environment Fuzzing

A LLVM Sanitizer for Symbolic Tracing

The Ultimate Charging Experience.

中山大学编译原理课程实验（完全重构版本）