a
arjunguha
hacker / cs professor
23 repositories
190 followers
Boston, MA
Repositories
Select a repository to view its commits, contributors, and more.public
haskell-couchdb
Haskell bindings for CouchDB
Haskell
33
27
6
Updated 2 years ago
public
ocaml-z3
OCaml
16
12
2
Updated 2 years ago
public
ocaml-docker
OCaml interface to the Docker API
OCaml
9
1
0
Updated 2 years ago
public
Deliciousync
A tool to synchronize Delicious and Safari bookmarks
Objective-C
6
1
2
Updated 2 years ago
public
ilvm
Rust
5
2
2
Updated a year ago
public
docker-grader
Docker based grader and demo of ocaml-docker
OCaml
3
0
0
Updated 2 years ago
public
compsci220-scala
COMPSCI 220 (Fall 2014 -- Spring 2018)
TeX
2
1
5
Updated a year ago
public
tutorials
Jupyter Notebook
2
0
0
Updated 3 months ago
public
santacoder_fim_benchmark
Jupyter Notebook
2
0
0
Updated 3 months ago
public
longbench
Jupyter Notebook
2
0
0
Updated a year ago
public
cloudflare-dyndns
A dynamic DNS client for CloudFlare
Rust
1
0
10
Updated 2 years ago
public
rehearsal-pldi2016-aec
A configuration verification tool for Puppet
Scala
1
0
0
Updated 2 years ago