Discover @jkoppel Open Source projects

Jimmy Koppel (@jkoppel)

jkoppel

Stars
287
Global Rank 92,325 (Top 4 %)
Followers 162
Following 13
Registered almost 13 years ago
Most used languages

Haskell
32.1 %

C++
17.9 %

Java
10.7 %

Clojure
7.1 %

Ruby
7.1 %

HTML
3.6 %

PHP
3.6 %

Standard ML 3.6 %

C
3.6 %

TypeScript
3.6 %

Assembly
3.6 %

JavaScript
3.6 %

QuixBugs

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

project-ironfist

ecta

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

risp

A Lisp that interacts with Ruby

assassinate_the_assassin

A 3D browser-based tactical first-person sworder

cardtable

Free-motion environment for playing cards online

your-next-interview-question

rubyquiz

Solutions to over 40 RubyQuiz problems

Strafunski-ATermLib

Cabalized version of the ATermLib library from Strafunski

OIL

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

number_csp

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

Communism.js

Workers unite and seize the means of production

nopper

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

medicalinfo

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

code-learning-study-setup

Strafunski-Sdf2Haskell

Cabalized version of the Sdf2Haskell library from Strafunski

sat

A DPLL SAT solver with conflict-directed backjumping

synthetic_evolution

the-philosoraptors