GridCal, a cross-platform power systems software written in Python with user interface, used in academia and industry.

PyPSA: Python for Power System Analysis

DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

A high-throughput and memory-efficient inference and serving engine for LLMs

Reverse Engineering: Decompiling Binary Code with Large Language Models

Python bindings for Valgrind's VEX IR.

A patched version of VEX to work with PyVEX.

A library to parse gdb mi output and interact with gdb subprocesses

Python snippets for Ghidra's Program and Decompiler APIs

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

HeapHopper is a bounded model checking framework for Heap-implementations

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

A powerful static binary rewriting tool

A static binary rewriter that does not use heuristics

Universal Radio Hacker: Investigate Wireless Protocols Like A Boss