Chaitanya Koparkar's repositories
awesome-wm-config
Configuration files for Awesome WM.
unfoldings
A simple experiment to see if we can fetch definitions (unfoldings) of the transitive closure of a module from a GHC Plugin.
arch-llvm6
LLVM 6 binaries for Arch
gibbon-ghc
Gibbon primitives implemented in GHC and some benchmarks
llvm-hs183
Minimal testcase for llvm-hs183
service-broker-api
Generic api to implement CF service brokers.
abstract-machines
A repository to house assignment 6
cf-postgresql-release
A PostgreSQL service for BOSH.
confman
HTTP interface to a key-value store
euler
Project Euler solution archive
game-of-life
An implementation of Game Of Life in Ruby
gibbon-type-safety
Attempt at encoding a type safety proof for Gibbon
hdtgm-search
A webpage to search HDTGM episodes using actors, directors etc.
linear-types
Drafts, notes and resources for adding linear typing to GHC.
mixpanel
Provides mixpanel API implementation in Go
mpl
The MaPLe compiler for Parallel ML
nixpkgs-mozilla
Mozilla overlay for Nixpkgs.
pats
Pats gif
pbbs
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
pqbroker
A Cloud Foundry service broker to manage PostgreSQL databases.
rrb-vector
Efficient immutable vectors
rspec-mode
A minor mode for emacs for rspec-tests
sentiment-sort
Sorts array of ratings
sr6
Manage storm rebalancing.