Pinned Repositories
compstrat
Strategy combinators for compositional data types
ecta
mandate
Automatically deriving control-flow graph generators from operational semantics
project-ironfist
QuixBugs
A multi-lingual program repair benchmark set based on the Quixey Challenge
re-course
Materials for Reverse Engineering course taught at MIT IAP
REProgram
Patch binaries at load-time
Revitalize
Tools for modifying programs without their source.
Strafunski-StrategyLib
Cabalized version of the StrategyLib library from Strafunski
thermometer-continuations
Examples from our paper "Capturing the Future by Replaying the Past"
jkoppel's Repositories
jkoppel/REProgram
Patch binaries at load-time
jkoppel/assassinate_the_assassin
A 3D browser-based tactical first-person sworder
jkoppel/risp
A Lisp that interacts with Ruby
jkoppel/cardtable
Free-motion environment for playing cards online
jkoppel/number_csp
CSP solver for number puzzles, with GUI frontends for Kakuro and KenKen
jkoppel/rubyquiz
Solutions to over 40 RubyQuiz problems
jkoppel/HaRe
The Haskell Refactoring Tool
jkoppel/ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
jkoppel/kure-your-boilerplate
An extension to KURE which uses Template Haskell to make writing the KURE constructor function automatic
jkoppel/smtLib
Haskell datatypes for generating SMTLIB files.