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/llvm-ir
LLVM IR in natural Rust data structures
cdisselkoen/pitchfork
Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
cdisselkoen/llvm-ir-analysis
cdisselkoen/Kaleidoscope-MacrosOnTheFly
Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.
cdisselkoen/llvm-ir-taint
cdisselkoen/boolector-rs
Safe high-level bindings for the Boolector SMT solver
cdisselkoen/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
cdisselkoen/llvm-sys-featured
Bindings to LLVM's C API
cdisselkoen/z3.rs
Rust bindings for the Z3 solver.
cdisselkoen/Amethyst
Automatic tiling window manager for macOS à la xmonad.
cdisselkoen/angr
A powerful and user-friendly binary analysis platform!
cdisselkoen/angr-doc
Documentation for the angr suite
cdisselkoen/archinfo
Classes with architecture-specific information useful to other projects.
cdisselkoen/Arduino-Boards
Arduino Boards file for Kaleidoscope keyboards
cdisselkoen/boolector-sys
Low-level Rust bindings for the Boolector SMT solver
cdisselkoen/claripy
An abstraction layer for constraint solvers.
cdisselkoen/cloben
Clone and benchmark Haskell git repositories for gipeda
cdisselkoen/dafny
Dafny is a verification-aware programming language
cdisselkoen/FrontC
An OCaml library providing a C parser and lexer
cdisselkoen/gipeda
Git Performance Dashboard
cdisselkoen/Kaleidoscope
Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.
cdisselkoen/Kaleidoscope-Build-Tools
cdisselkoen/Kaleidoscope-LEDControl
LED Control plugin for Kaleidoscope.
cdisselkoen/Kaleidoscope-Macros
Macro support plugin for Kaleidoscope.
cdisselkoen/Kaleidoscope-MouseKeys
Mouse-key plugin for Kaleidoscope.
cdisselkoen/Kaleidoscope-Steno
Stenography protocol plugin for Kaleidoscope
cdisselkoen/Model01-Firmware
My personal Keyboardio Model 01 Firmware. Built on Kaleidoscope.
cdisselkoen/rust-analyzer
An experimental Rust compiler front-end for IDEs
cdisselkoen/servo
The Servo Browser Engine
cdisselkoen/wasm-bindgen
Facilitating high-level interactions between wasm modules and JavaScript