Discover @vikraman Open Source projects

Vikraman Choudhury (@vikraman)

vikraman

Stars
72
Global Rank 263,672 (Top 10 %)
Followers 99
Following 126
Registered over 14 years ago
Most used languages

Haskell
26.9 %

Python
15.4 %

C
7.7 %

C++
7.7 %

Shell
7.7 %

Agda 7.7 %

Scala
3.8 %

Dockerfile
3.8 %

Emacs Lisp
3.8 %

TeX
3.8 %

Lua
3.8 %

D
3.8 %

Scheme
3.8 %
Location 🇬🇧 United Kingdom
Country Total Rank 10,959
Country Ranking

Agda 27

D
66

Scheme
111

TeX
187

Dockerfile
224

Haskell
258

Emacs Lisp
280

Scala
485

Lua
1,026

C
2,611

Shell
3,467

C++
5,041

Python
9,070

2DTypes

Collaborative work on reversible computing

popl22-symmetries-artifact

Artifact for Symmetries in Reversible Programming

generalised-species

Espèces généralisées de structures sur les groupoïdes

akka-argonaut

Argonaut json marshallers for akka-stream and akka-http

CompGeo

Computational Geometry algorithms library

gentoostats

SoC2011: Gentoo package statistics

firewall-auth-sh

IITK firewall auth

basic-hott

personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)

xmonad-config

My xmonad config

avr-music

Music using an AVR microcontroller

.emacs.d

vikraman's .emacs.d

docker-gentoo

Minimal gentoo amd64 docker image

Sim

A simple pencil game

coexp

Continuations and Co-exponentials

gentoostats-playground

Playground for gentoostats

site

guess

A simple number guessing game Facebook app

brainf-k

A Brainf**k interpreter in haskell

sicp

My solutions to the SICP exercises

programming-scripts

Scripts to ease programming for the lazy coder

lastfmable

Playing around with the last.fm api and appengine

patch-theory

A naive patch theory implementation

apokolips

My personal portage overlay

99problems

df

My dotfiles repository

ratemypunch

scanner

amestris

Qt4 based fault tolerant GUI server

cgal-qt-demos

Automatically exported from code.google.com/p/cgal-qt-demos

color-it

Flood-it solver

tweet-bti

Tweet using bti