• Stars
    star
    94
  • Rank 356,972 (Top 8 %)
  • Language
    Ruby
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

Program synthesis for Ruby

More Repositories

1

codejudge

host coding competitions anywhere, anytime
PHP
90
star
2

flipflops

a simple server deployment tool
Ruby
28
star
3

shakydraw

Beautiful hand-drawn block diagrams from plain text
JavaScript
23
star
4

grite

static blogging framework for hackers
JavaScript
22
star
5

ws-webdriver

thin proxy for webdriver over websockets
JavaScript
20
star
6

judgev2

online judge as a service
JavaScript
20
star
7

watchman.js

file watching with powerful expression parsing
JavaScript
15
star
8

numrs

numerical computations library
Rust
13
star
9

morse

what if morse code became a programming language?
C
12
star
10

Panther

Panther encodes media files from one format to another. It has a simple user interface, and should be very easy to get started with. It can reduce the size of music files.
Java
9
star
11

rustynode

JavaScript runtime in Rust
Rust
8
star
12

socks

Declarative syntax based presentation tool
Ruby
6
star
13

node-gc-watch

Track node.js' garbage collection events and memory statistics
JavaScript
5
star
14

scheme-compiler

compile scheme -> x86-64
Rust
4
star
15

devdashboard

public dashboard of my coding acitivities
Python
4
star
16

js-tproxy

spidermonkey fork for transparent proxies
C++
3
star
17

anti-freebasics

anti-free basics campaign website
HTML
3
star
18

wetunes-android

a social music player for android
Java
2
star
19

jave-panther

modified version of jave library for panther
Java
2
star
20

absynthe

synthesis guided by abstract interpretation
Ruby
2
star
21

alarm-clock

A simple shell based alarm
Shell
2
star
22

coocoo

coocoo sends notifications
Python
2
star
23

jupdater

A simple library to check whether a new update for a program is available
Java
2
star
24

eecs700

EECS 700: Intro to Program Synthesis
SCSS
1
star
25

neuron-networks

Network biology class project
Python
1
star
26

lazyz3.rb

Manipulate Z3 ASTs lazily
Ruby
1
star
27

ngsankha.github.io

my homepage
SCSS
1
star
28

pounce

Quick lists of text snippets from command line
Java
1
star
29

wetunes-server

the backend server for wetunes-android
PHP
1
star
30

pds-project

A simple stocks simulation program for PDS course
C
1
star
31

async-io

JS styles and asynchronous I/O in C
C
1
star
32

tweets

an archive of tweets from @sankha93
Python
1
star
33

biosense

posture and repetitive stress syndrome detection kit
Arduino
1
star
34

nsa-console

Direct console access to the NSA
1
star
35

absynthe-rust

Rust
1
star
36

java2r

a Java port to R and can be used in your Java programs to connect R and Java
Java
1
star
37

mirrorify

mirrors with single URL
JavaScript
1
star
38

feed-mailer

RSS -> email
Python
1
star
39

nanomonkey

A js to js experimental compiler
JavaScript
1
star
40

youcouch

a random youtube video feed generator
Java
1
star
41

boink

issues from your commandline
Python
1
star
42

bf-jit

a brainf*ck JIT
C
1
star
43

anosy

Haskell
1
star