Pinned Repositories
.emacs.d
vikraman's .emacs.d
2DTypes
Collaborative work on reversible computing
agda-coexp
Formalisation of some ideas related to continuations and co-exponentials
akka-argonaut
Argonaut json marshallers for akka-stream and akka-http
CompGeo
Computational Geometry algorithms library
generalised-species
Espèces généralisées de structures sur les groupoïdes
gentoostats
SoC2011: Gentoo package statistics
hs-coexp
Continuations and Co-exponentials
popl22-symmetries-artifact
Artifact for Symmetries in Reversible Programming
vikraman's Repositories
vikraman/CompGeo
Computational Geometry algorithms library
vikraman/gentoostats
SoC2011: Gentoo package statistics
vikraman/avr-music
Music using an AVR microcontroller
vikraman/99problems
vikraman/amestris
Qt4 based fault tolerant GUI server
vikraman/apokolips
My personal portage overlay
vikraman/color-it
Flood-it solver
vikraman/coursera
Script for downloading Coursera.org videos and naming them.
vikraman/df
My dotfiles repository
vikraman/gentoostats-playground
Playground for gentoostats
vikraman/Gsquares
A GTK Based Strategy Game written in C
vikraman/guess
A simple number guessing game Facebook app
vikraman/http-conduit
Efficient HTTP/HTTPS client code with both streaming and non-streaming interfaces.
vikraman/imgur-album-downloader
Quick and dirty Python script that'll download an entire Imgur album in one go into a folder of your choice.
vikraman/lastfmable
Playing around with the last.fm api and appengine
vikraman/programming-scripts
Scripts to ease programming for the lazy coder
vikraman/ratemypunch
vikraman/scanner
A port scanner
vikraman/sicp
My solutions to the SICP exercises
vikraman/tweet-bti
Tweet using bti
vikraman/swl
Smart Shopping Lists
vikraman/ARMS
Automatic Routine Management System
vikraman/cs719
vikraman/haskell-snake
Snake game implemetation in Haskell using SDL
vikraman/play2-mini
Play 2.0 mini project - provides REST API on top of Play2
vikraman/reactive-banana-gtk
reactive-banana GTK+ user interface
vikraman/twitter-stream
Build effective html5 app with node.js socket.io Twitter bootstrap