• Stars
    star
    2
  • Language
    JavaScript
  • Created 5 months ago
  • Updated 5 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Workers unite and seize the means of production

More Repositories

1

QuixBugs

A multi-lingual program repair benchmark set based on the Quixey Challenge
Java
99
star
2

project-ironfist

Assembly
36
star
3

ecta

Haskell
33
star
4

REProgram

Patch binaries at load-time
C++
20
star
5

thermometer-continuations

Examples from our paper "Capturing the Future by Replaying the Past"
Standard ML
20
star
6

re-course

Materials for Reverse Engineering course taught at MIT IAP
C++
9
star
7

Revitalize

Tools for modifying programs without their source.
C
8
star
8

compstrat

Strategy combinators for compositional data types
Haskell
7
star
9

mandate

Automatically deriving control-flow graph generators from operational semantics
Haskell
7
star
10

Strafunski-StrategyLib

Cabalized version of the StrategyLib library from Strafunski
Haskell
6
star
11

omega-calculus

Naive implementaton of causal probablistic programming, faithful to Tavares et al
Haskell
4
star
12

quixey_challenger

Solve Quixey challenge automatically
Java
4
star
13

comptrans

Translation of ASTs into multi-sorted compositional data types
Haskell
4
star
14

risp

A Lisp that interacts with Ruby
Ruby
3
star
15

assassinate_the_assassin

A 3D browser-based tactical first-person sworder
PHP
3
star
16

cardtable

Free-motion environment for playing cards online
Java
2
star
17

your-next-interview-question

HTML
2
star
18

rubyquiz

Solutions to over 40 RubyQuiz problems
Ruby
2
star
19

Strafunski-ATermLib

Cabalized version of the ATermLib library from Strafunski
Haskell
2
star
20

OIL

Interpreter and library for a One-Instruction-Language register machine
Clojure
2
star
21

number_csp

CSP solver for number puzzles, with GUI frontends for Kakuro and KenKen
Clojure
2
star
22

nopper

Automatically exported from code.google.com/p/nopper
C++
1
star
23

medicalinfo

Automatically exported from code.google.com/p/medicalinfo
C++
1
star
24

code-learning-study-setup

1
star
25

Strafunski-Sdf2Haskell

Cabalized version of the Sdf2Haskell library from Strafunski
Haskell
1
star
26

sat

A DPLL SAT solver with conflict-directed backjumping
C++
1
star
27

synthetic_evolution

Haskell
1
star
28

the-philosoraptors

TypeScript
1
star