jkoppel/omega-calculus jkoppel/omega-calculus

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jkoppel/omega-calculus
github

jkoppel

Reviews

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

Repository Details

Naive implementaton of causal probablistic programming, faithful to Tavares et al

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

quixey_challenger

Solve Quixey challenge automatically
Java
4
star
12

comptrans

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

risp

A Lisp that interacts with Ruby
Ruby
3
star
14

assassinate_the_assassin

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

cardtable

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

your-next-interview-question

HTML
2
star
17

rubyquiz

Solutions to over 40 RubyQuiz problems
Ruby
2
star
18

Strafunski-ATermLib

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

OIL

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

number_csp

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

Communism.js

Workers unite and seize the means of production
JavaScript
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