Production-ready platform for agentic workflow development.

An open-source AI agent that brings the power of Gemini directly into your terminal.

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Your Intelligence, Orchestrated. Every builder. Every team. Every agent. For Everyone.

Empowering everyone to build reliable and efficient software.

a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)

A bytecode optimizer for Android apps

The Z3 Theorem Prover

An extensible multilanguage static code analyzer.

The most widely used Python to C compiler

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

TiDB is built for agentic workloads that grow unpredictably, with ACID guarantees and native support for transactions, analytics, and vector search. No data silos. No noisy neighbors. No infrastruc…

RIOT - The friendly OS for IoT

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Awesome Large Language Models for Vulnerability Detection

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Dafny is a verification-aware programming language

📡 PoC auto collect from GitHub. ⚠️ Be careful Malware.

A powerful and user-friendly binary analysis platform!

Embedded Python DSL for numerical computing

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

GitPython is a python library used to interact with Git repositories.

Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

UNIX-like reverse engineering framework and command-line toolset

Clone this repo to build Frida

Fast linters runner for Go

The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing …

The Lean Computer Science Library (CSLib)

Crucible is a library for symbolic simulation of imperative programs