Pinned Repositories
compsci220-scala
COMPSCI 220 (Fall 2014 -- Spring 2018)
Deliciousync
A tool to synchronize Delicious and Safari bookmarks
docker-grader
Docker based grader and demo of ocaml-docker
haskell-couchdb
Haskell bindings for CouchDB
ilvm
ocaml-docker
OCaml interface to the Docker API
ocaml-z3
starcoder
Home of StarCoder: fine-tuning & inference!
MultiPL-E
A multi-programming language benchmark for LLMs
MultiPL-T
Knowledge transfer from high-resource to low-resource programming languages for Code LLMs
arjunguha's Repositories
arjunguha/haskell-couchdb
Haskell bindings for CouchDB
arjunguha/ocaml-z3
arjunguha/ocaml-docker
OCaml interface to the Docker API
arjunguha/Deliciousync
A tool to synchronize Delicious and Safari bookmarks
arjunguha/ilvm
arjunguha/docker-grader
Docker based grader and demo of ocaml-docker
arjunguha/compsci220-scala
COMPSCI 220 (Fall 2014 -- Spring 2018)
arjunguha/longbench
arjunguha/santacoder_fim_benchmark
arjunguha/tutorials
arjunguha/charlie-the-coding-cow-classroom
Charlie the Coding Cow: Classroom Edition
arjunguha/cloudflare-dyndns
A dynamic DNS client for CloudFlare
arjunguha/rehearsal-pldi2016-aec
A configuration verification tool for Puppet
arjunguha/spg
Simple photo gallery
arjunguha/stopify.org
Stopify technical demo website
arjunguha/bounded_subprocess
arjunguha/gradefinder
arjunguha/migeed-palsberg-popl2020
arjunguha/pdf-splitter
arjunguha/pervasives.js
Abstractions missing from JavaScript standard libraries
arjunguha/sdx-platform-optimized
The Pyretic runtime system
arjunguha/siek-vachharajani-dls2008
arjunguha/stopify-aec
PLDI 2018 Artifact for "Putting in All the Stops: Execution Control for JavaScript"