Skip to content
@draperlaboratory

The Charles Stark Draper Laboratory, Inc.

Draper is a not-for-profit company that engineers multidisciplinary solutions to global challenges.

Popular repositories Loading

  1. fracture fracture Public

    an architecture-independent decompiler to LLVM IR

    C++ 395 47

  2. llvm-cbe llvm-cbe Public

    resurrected LLVM "C Backend", with improvements

    Groff 132 13

  3. cbat_tools cbat_tools Public

    Program analysis tools developed at Draper on the CBAT project.

    OCaml 106 14

  4. VIBES VIBES Public

    Verified, Incremental, Binary Editing with Synthesis

    OCaml 54 1

  5. VaderModularFuzzer VaderModularFuzzer Public

    VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distributed fuzzing infrastructure.

    C++ 37 7

  6. hope-RIPE hope-RIPE Public

    A port of the RIPE suite to RISC-V.

    C 29 8

Repositories

Showing 10 of 67 repositories
  • angr Public Forked from angr/angr

    A powerful and user-friendly binary analysis platform!

    draperlaboratory/angr’s past year of commit activity
    Python 0 BSD-2-Clause 1,172 0 0 Updated Jan 2, 2026
  • cozy Public
    draperlaboratory/cozy’s past year of commit activity
    C++ 16 MIT 2 4 0 Updated Dec 16, 2025
  • cle Public Forked from angr/cle

    CLE Loads Everything (at least, many binary formats!)

    draperlaboratory/cle’s past year of commit activity
    Python 0 BSD-2-Clause 132 0 0 Updated Dec 2, 2025
  • pdf2sqlite Public

    A tool to convert PDF libraries into SQLite databases for agentic search

    draperlaboratory/pdf2sqlite’s past year of commit activity
    Python 4 MIT 0 0 0 Updated Oct 23, 2025
  • mocha-raphael Public

    Repo for the DARPA MOCHA program

    draperlaboratory/mocha-raphael’s past year of commit activity
    0 BSD-2-Clause 0 0 0 Updated Sep 23, 2025
  • VmfExperimental Public
    draperlaboratory/VmfExperimental’s past year of commit activity
    C++ 3 2 0 1 Updated Sep 22, 2025
  • VaderModularFuzzer Public

    VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distributed fuzzing infrastructure.

    draperlaboratory/VaderModularFuzzer’s past year of commit activity
    C++ 37 GPL-2.0 7 0 0 Updated Aug 27, 2025
  • hope-policy-engine Public

    Generic functional policy engine for functional simulation of security policies.

    draperlaboratory/hope-policy-engine’s past year of commit activity
    C 3 4 6 1 Updated Jan 16, 2025
  • hope-llvm-project Public
    draperlaboratory/hope-llvm-project’s past year of commit activity
    C++ 1 0 2 5 Updated Jan 8, 2025
  • ELFSage Public

    A toy ELF parser/validator

    draperlaboratory/ELFSage’s past year of commit activity
    Lean 15 MIT 6 2 2 Updated Dec 18, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…