Example scripts using angr

🤖🏴‍☠️ radare2 plugin for GPT-4 🦜. Solve crackmes automatically 🪄

CREST is a concolic test generation tool for C.

CREST - A program for the automated exploration of low-energy molecular chemical space.

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

A Graph Data Structure in Pure Swift

Commonly used data structures for Swift

Cheat Engine. A development environment focused on modding

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

A toolkit for developing and comparing reinforcement learning algorithms.

All Algorithms implemented in AArch64 Assembly

All Algorithms implemented in Swift

Tutorials and courses for Z3

🕹 Retro video game emulation for macOS

Gives you root on the hostOS, if you're a member of the 'docker' group.

Generic SAST Library

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Implementation of Nougat Neural Optical Understanding for Academic Documents

Recent symbolic execution papers and tools.

This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.

p-joker -- iOS/MacOS kernelcache/kexts analysis tool

A Python script for AI speech recognition of video or audio file using whisper, stable-ts, or faster-whisper and it can translate subtitles using Google Cloud, Naver Papago and DeepL APIs

Official Python library for the DeepL language translation API.

AES-GCM-SIV (RFC 8452) implementation for C, Android and Java, with hardware acceleration support.

WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).

FANS: Fuzzing Android Native System Services