Pinned Repositories
boolector-rs
Safe high-level bindings for the Boolector SMT solver
inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Kaleidoscope-Hardware-Virtual
"Virtual" hardware plugin for Kaleidoscope: test and debug Kaleidoscope sketches, plugins, and core on x86
Kaleidoscope-LED-LetterGuesser
Kaleidoscope plugin creating an LED 'LetterGuesser' effect.
Kaleidoscope-MacrosOnTheFly
Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.
llvm-ir
LLVM IR in natural Rust data structures
llvm-ir-analysis
llvm-ir-taint
pitchfork
Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
haybale
Symbolic execution of LLVM IR with an engine written in Rust
cdisselkoen's Repositories
cdisselkoen/Kaleidoscope-LED-LetterGuesser
Kaleidoscope plugin creating an LED 'LetterGuesser' effect.
cdisselkoen/Kaleidoscope-Hardware-Virtual
"Virtual" hardware plugin for Kaleidoscope: test and debug Kaleidoscope sketches, plugins, and core on x86
cdisselkoen/POP_REU_2014
Project for the Theoretical and Computational Biophysics Group at the University of Illinois Urbana-Champaign
cdisselkoen/Balloons
Simple OpenGL demo for our 1-week crash course.
cdisselkoen/Kaleidoscope-Focus
Bidirectional communications plugin for Kaleidoscope
cdisselkoen/Kaleidoscope-Hardware
Kaleidoscope hardware base class
cdisselkoen/Kaleidoscope-Hardware-Model01
Keyboardio Model01 hardware support for Kaleidoscope.
cdisselkoen/Kaleidoscope-Hardware-Shortcut
Shortcut hardware support for Kaleidoscope
cdisselkoen/Kaleidoscope-LED-Stalker
A haunting effect, that produces a trail of light as you tap the keys
cdisselkoen/Kaleidoscope-LEDEffect-SolidColor
SolidColor effect for Kaleidoscope.
cdisselkoen/Kaleidoscope-Plugin
Helpers for Kaleidoscope plugins
cdisselkoen/KeyboardioScanner
Arduino client library for the Keyboardio ATTiny keyscanner
cdisselkoen/Minesweeper
Short Minesweeper project for the REU C++ class.
cdisselkoen/modular-stock-jconf
The bits of a VR Juggler configuration, all nicely separated out for easy maintenance.