Jimmy Koppel

jj-workshop.

QuixBugs. A multi-lingual program repair benchmark set based on the Quixey Challenge

project-ironfist. Assembly

ecta. Haskell

REProgram. Patch binaries at load-time

thermometer-continuations. Examples from our paper "Capturing the Future by Replaying the Past"

re-course. Materials for Reverse Engineering course taught at MIT IAP

Revitalize. Tools for modifying programs without their source.

compstrat. Strategy combinators for compositional data types

mandate. Automatically deriving control-flow graph generators from operational semantics

Strafunski-StrategyLib. Cabalized version of the StrategyLib library from Strafunski

omega-calculus. Naive implementaton of causal probablistic programming, faithful to Tavares et al

quixey_challenger. Solve Quixey challenge automatically

comptrans. Translation of ASTs into multi-sorted compositional data types

assassinate_the_assassin. A 3D browser-based tactical first-person sworder

risp. A Lisp that interacts with Ruby

OIL. Interpreter and library for a One-Instruction-Language register machine

Communism.js. Workers unite and seize the means of production

cardtable. Free-motion environment for playing cards online

code-learning-study-setup.

spider. A web crawler and scraper for Rust

rubyquiz. Solutions to over 40 RubyQuiz problems

Strafunski-ATermLib. Cabalized version of the ATermLib library from Strafunski

your-next-interview-question. HTML

sat. A DPLL SAT solver with conflict-directed backjumping

morph-python-sdk. A Python SDK and CLI tool for creating, managing, and interacting with Morph Cloud VMs.

number_csp. CSP solver for number puzzles, with GUI frontends for Kakuro and KenKen

Strafunski-Sdf2Haskell. Cabalized version of the Sdf2Haskell library from Strafunski

medicalinfo. Automatically exported from code.google.com/p/medicalinfo

solaxy. Rust

dogbunny-petri. CPNTools Petri Net file to accompany my blog post "Solving the Dog-Bunny Puzzle with Program Verification Technology"

vibed-battleships. TypeScript

synthetic_evolution. Haskell

nopper. Automatically exported from code.google.com/p/nopper

the-philosoraptors. TypeScript

django-battleships. A multiplayer game of Battleships using the Django framework.