Explore @draperlaboratory Open Source projects

The Charles Stark Draper Laboratory, Inc. (@draperlaboratory)

draperlaboratory

Stars
797
Global Org. Rank 17,897 (Top 6 %)
Registered almost 11 years ago
Most used languages

C++
20.8 %

C
16.7 %

OCaml
12.5 %

Python
12.5 %

JavaScript
8.3 %

Haskell
8.3 %

Java
4.2 %

Shell
4.2 %

Lean 4.2 %

Coq 4.2 %

Groff 4.2 %
Location 🇺🇸 United States
Country Total Rank 11,004
Country Ranking

Groff 5

Lean 37

OCaml
41

Coq 141

Haskell
763

C++
891

C
4,008

fracture

an architecture-independent decompiler to LLVM IR

llvm-cbe

resurrected LLVM "C Backend", with improvements

cbat_tools

Program analysis tools developed at Draper on the CBAT project.

VIBES

Verified, Incremental, Binary Editing with Synthesis

hope-RIPE

A port of the RIPE suite to RISC-V.

VaderModularFuzzer

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

user-ale

The User Activity Logging Engine, or User-ALE, is a logging mechanism used to quantitatively assess the behavioural and cognitive state of a data analyst while interacting with Big Data Exploitation Systems

ELFSage

A toy ELF parser/validator

cspgen

A tool for translating imperative programs to CSP.

cozy

hope-src

HOPE Software Toolchain

Cage-Public

cage-koat

A private fork of the kittel/koat repository

hope-policies

Collection of security policies

parts

specgen

A tool for translating state charts to CSP

hope-tools

Scripts, makefiles and other top-level tools for working on HOPE stuff.

hope-policy-engine

Generic functional policy engine for functional simulation of security policies.

VmfExperimental

hope-FreeRTOS

Free-RTOS from Amazon under MIT License

distill

Distill is an analytic framework for user activity logging

useralejs

The Official UserAle JavaScript Client

design_rule_check

A design rule checker for microfluidic designs developed by Sembler

hope-llvm-project