Sankha Narayan Guria (@ngsankha)

Top repositories

1

rbsyn

Program synthesis for Ruby
Ruby
94
star
2

codejudge

host coding competitions anywhere, anytime
PHP
91
star
3

flipflops

a simple server deployment tool
Ruby
28
star
4

shakydraw

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

grite

static blogging framework for hackers
JavaScript
22
star
6

judgev2

online judge as a service
JavaScript
21
star
7

ws-webdriver

thin proxy for webdriver over websockets
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

jave-panther

modified version of jave library for panther
Java
2
star
21

absynthe

synthesis guided by abstract interpretation
Ruby
2
star
22

alarm-clock

A simple shell based alarm
Shell
2
star
23

coocoo

coocoo sends notifications
Python
2
star
24

jupdater

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

eecs700

EECS 700: Intro to Program Synthesis
SCSS
1
star
26

neuron-networks

Network biology class project
Python
1
star
27

lazyz3.rb

Manipulate Z3 ASTs lazily
Ruby
1
star
28

ngsankha.github.io

my homepage
SCSS
1
star
29

pounce

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

wetunes-server

the backend server for wetunes-android
PHP
1
star
31

async-io

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

pds-project

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

tweets

an archive of tweets from @sankha93
Python
1
star
34

biosense

posture and repetitive stress syndrome detection kit
Arduino
1
star
35

nsa-console

Direct console access to the NSA
1
star
36

absynthe-rust

Rust
1
star
37

java2r

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

mirrorify

mirrors with single URL
JavaScript
1
star
39

feed-mailer

RSS -> email
Python
1
star
40

nanomonkey

A js to js experimental compiler
JavaScript
1
star
41

youcouch

a random youtube video feed generator
Java
1
star
42

boink

issues from your commandline
Python
1
star
43

bf-jit

a brainf*ck JIT
C
1
star
44

anosy

Haskell
1
star