Craig Disselkoen

icon company AWS icon location Sr. Applied Scientist at AWS. PhD '22 from UC San Diego

Results 5 repositories owned by Craig Disselkoen

Kaleidoscope-LED-LetterGuesser

15
Stars
0
Forks
Watchers

Kaleidoscope plugin creating an LED 'LetterGuesser' effect.

verified publisher icon cdisselkoen

Kaleidoscope-MacrosOnTheFly

16
Stars
5
Forks
Watchers

Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.

verified publisher icon cdisselkoen

llvm-ir

470
Stars
46
Forks
Watchers

LLVM IR in natural Rust data structures

verified publisher icon cdisselkoen

llvm-ir-analysis

57
Stars
9
Forks
Watchers

verified publisher icon cdisselkoen

pitchfork

75
Stars
5
Forks
Watchers

Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

verified publisher icon cdisselkoen