arjunguha

hacker / cs professor

@nuprlBoston, MA

Pinned Repositories

Deliciousync
A tool to synchronize Delicious and Safari bookmarks
Language:Objective-C6 2 21
docker-grader
Docker based grader and demo of ocaml-docker
Language:OCaml3 4 00
haskell-couchdb
Haskell bindings for CouchDB
Language:Haskell33 3 027
ilvm
Language:Rust5 7 42
ocaml-docker
OCaml interface to the Docker API
Language:OCaml9 5 01
ocaml-z3
Language:OCaml16 15 211
pliss2019
Language:TeX2 2 00
MultiPL-E
A multi-programming language benchmark for LLMs
Language:Python167 15 4236
Ocelot
An IDE for JavaScript, without the "bad parts".
Language:TypeScript29 4 544
TypeWhich
Customizable, solver-based type migration for the gradually-typed lambda calculus.
Language:Rust2 8 01

arjunguha's Repositories

arjunguha/haskell-couchdb
Haskell bindings for CouchDB
Language:Haskell33 3 027
arjunguha/ocaml-z3
Language:OCaml16 15 211
arjunguha/ocaml-docker
OCaml interface to the Docker API
Language:OCaml9 5 01
arjunguha/Deliciousync
A tool to synchronize Delicious and Safari bookmarks
Language:Objective-C6 2 21
arjunguha/ilvm
Language:Rust5 7 42
arjunguha/docker-grader
Docker based grader and demo of ocaml-docker
Language:OCaml3 4 00
arjunguha/compsci220-scala
COMPSCI 220 (Fall 2014 -- Spring 2018)
Language:TeX2 2 61
arjunguha/longbench
Language:Jupyter Notebook2
arjunguha/pliss2019
Language:TeX2 2 00
arjunguha/batched_lm_generation
Language:Python1
arjunguha/cloudflare-dyndns
A dynamic DNS client for CloudFlare
Language:Rust1 2 0
arjunguha/moyix-codegen-fastertransformer
Language:Python1 1 0
arjunguha/rehearsal-pldi2016-aec
A configuration verification tool for Puppet
Language:Scala1 2 0
arjunguha/spg
Simple photo gallery
Language:Rust1 2 11
arjunguha/stopify.org
Stopify technical demo website
Language:TypeScript1 4 41
arjunguha/bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
Language:Python
arjunguha/bounded_subprocess
Language:Python4 01
arjunguha/gradefinder
Language:Scala1 0
arjunguha/migeed-palsberg-popl2020
Language:Haskell1 0
arjunguha/pdf-splitter
Language:Scala1 0
arjunguha/pervasives.js
Abstractions missing from JavaScript standard libraries
Language:TypeScript
arjunguha/santacoder_fim_benchmark
Language:Jupyter Notebook
arjunguha/sdx-platform-optimized
The Pyretic runtime system
Language:Python2 0
arjunguha/siek-vachharajani-dls2008
Language:OCaml
arjunguha/stopify-aec
PLDI 2018 Artifact for "Putting in All the Stops: Execution Control for JavaScript"
Language:JavaScript8 01