• Stars
    star
    2
  • Language
    Java
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

modified version of jave library for panther

More Repositories

1

rbsyn

Program synthesis for Ruby
Ruby
94
star
2

codejudge

host coding competitions anywhere, anytime
PHP
90
star
3

flipflops

a simple server deployment tool
Ruby
28
star
4

shakydraw

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

grite

static blogging framework for hackers
JavaScript
22
star
6

ws-webdriver

thin proxy for webdriver over websockets
JavaScript
20
star
7

judgev2

online judge as a service
JavaScript
20
star
8

watchman.js

file watching with powerful expression parsing
JavaScript
15
star
9

numrs

numerical computations library
Rust
13
star
10

morse

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

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
12

rustynode

JavaScript runtime in Rust
Rust
8
star
13

socks

Declarative syntax based presentation tool
Ruby
6
star
14

node-gc-watch

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

scheme-compiler

compile scheme -> x86-64
Rust
4
star
16

devdashboard

public dashboard of my coding acitivities
Python
4
star
17

js-tproxy

spidermonkey fork for transparent proxies
C++
3
star
18

anti-freebasics

anti-free basics campaign website
HTML
3
star
19

wetunes-android

a social music player for android
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