Skip to content
Change the repository type filter

All

    Repositories list

    • remill

      Public
      [fork] Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
      C++
      Apache License 2.0
      1761500Updated Apr 20, 2026Apr 20, 2026
    • ⚠️ WIP: LLVM-C Python bindings with nanobind.
      C++
      MIT License
      21010Updated Apr 11, 2026Apr 11, 2026
    • args

      Public
      Minimal header-only C++11 argument parser library for simple command line tools.
      C++
      Boost Software License 1.0
      32500Updated Mar 29, 2026Mar 29, 2026
    • remill-template

      Public template
      Simple template for using Remill on Windows/Linux/macos.
      C++
      Boost Software License 1.0
      13100Updated Mar 24, 2026Mar 24, 2026
    • packages

      Public
      Precompiled LLVM packages ready for (de)obfuscation related development.
      CMake
      42230Updated Mar 23, 2026Mar 23, 2026
    • Super basic llvm-nanobind example project.
      Python
      0500Updated Dec 16, 2025Dec 16, 2025
    • xed

      Public
      [fork] The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
      Python
      Apache License 2.0
      170000Updated Nov 23, 2025Nov 23, 2025
    • ghidra

      Public
      Ghidra is a software reverse engineering (SRE) framework
      Java
      Apache License 2.0
      7.4k000Updated Oct 30, 2025Oct 30, 2025
    • Easily search LLVM headers for all major versions!
      C++
      11900Updated Sep 14, 2025Sep 14, 2025
    • LLVMCMakeTemplate

      Public template
      Collection of scripts and CMake files to easily link to LLVM into your project (Windows, Linux, macOS).
      CMake
      Boost Software License 1.0
      54300Updated Apr 2, 2025Apr 2, 2025
    • Contains pre-generated results for ZehMatt's x86Tester
      1300Updated Mar 22, 2025Mar 22, 2025
    • C++
      696600Updated Feb 23, 2025Feb 23, 2025
    • souper

      Public
      [fork] A superoptimizer for LLVM IR
      C++
      Apache License 2.0
      186400Updated Feb 12, 2025Feb 12, 2025
    • klee

      Public
      [fork] KLEE Symbolic Execution Engine
      C++
      Other
      725301Updated Jan 6, 2025Jan 6, 2025
    • C
      MIT License
      1600Updated Nov 26, 2024Nov 26, 2024
    • bitwuzla

      Public
      [fork] Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted…
      SMT
      Other
      47000Updated Nov 14, 2024Nov 14, 2024
    • minisat

      Public
      [fork] A minimalistic and high-performance SAT solver
      C++
      Other
      414300Updated Oct 7, 2024Oct 7, 2024
    • z3

      Public
      [fork] The Z3 Theorem Prover
      C++
      Other
      1.6k000Updated Sep 26, 2024Sep 26, 2024
    • .github

      Public
      Organization README and Discussions
      0200Updated Sep 26, 2024Sep 26, 2024
    • alive2

      Public
      [fork] Automatic verification of LLVM optimizations
      C++
      MIT License
      144200Updated Sep 25, 2024Sep 25, 2024
    • REVIDE

      Public
      The next generation reverse engineering IDE (work-in-progress).
      C++
      GNU General Public License v3.0
      1010520Updated Jun 27, 2024Jun 27, 2024
    • gmp-6.3

      Public
      [fork] Unofficial mirror of GMP 6.3.x branch
      C
      GNU Lesser General Public License v3.0
      4100Updated Aug 21, 2023Aug 21, 2023
    • capstone

      Public
      [fork] Capstone disassembly/disassembler framework
      C
      Other
      1.7k000Updated Feb 27, 2022Feb 27, 2022
    • hunter

      Public
      [fork] CMake driven cross-platform package manager for C/C++.
      CMake
      BSD 2-Clause "Simplified" License
      656000Updated Feb 23, 2022Feb 23, 2022
    • Triton

      Public
      [fork] Triton is a Dynamic Binary Analysis (DBA) framework.
      C++
      Apache License 2.0
      582100Updated Feb 7, 2022Feb 7, 2022
    • Assets for the "Tickling VMProtect with LLVM" blog post.
      LLVM
      2216610Updated Sep 16, 2021Sep 16, 2021
    • Using Zydis and LLVM to lift unsupported instructions to LLVM-IR
      C++
      43100Updated Jul 30, 2021Jul 30, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.