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++ 399 47

  2. llvm-cbe llvm-cbe Public

    resurrected LLVM "C Backend", with improvements

    Groff 129 12

  3. cbat_tools cbat_tools Public

    Program analysis tools developed at Draper on the CBAT project.

    OCaml 108 14

  4. VIBES VIBES Public

    Verified, Incremental, Binary Editing with Synthesis

    OCaml 56 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++ 41 9

  6. hope-RIPE hope-RIPE Public

    A port of the RIPE suite to RISC-V.

    C 30 8

Repositories

Showing 10 of 68 repositories
  • 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++ 41 GPL-2.0 9 0 2 Updated Sep 29, 2026
  • VmfExperimental Public
    draperlaboratory/VmfExperimental's past year of commit activity
    C++ 4 3 0 0 Updated Jun 11, 2026
  • CDMS Public
    draperlaboratory/CDMS's past year of commit activity
    0 0 0 0 Updated Apr 20, 2026
  • 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,238 0 0 Updated Feb 27, 2026
  • 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 146 0 0 Updated Feb 27, 2026
  • cozy Public
    draperlaboratory/cozy's past year of commit activity
    C++ 19 MIT 2 4 0 Updated Feb 10, 2026
  • pdf2sqlite Public

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

    draperlaboratory/pdf2sqlite's past year of commit activity
    Python 6 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
  • 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
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…