Discover @vikraman Open Source projects

Vikraman Choudhury (@vikraman)

vikraman

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

Haskell
26.9 %

Python
15.4 %

C
7.7 %

Agda 7.7 %

Shell
7.7 %

C++
7.7 %

D
3.8 %

TeX
3.8 %

Lua
3.8 %

Emacs Lisp
3.8 %

Scheme
3.8 %

Dockerfile
3.8 %

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

Agda 26

D
77

Scheme
120

TeX
188

Dockerfile
226

Emacs Lisp
248

Haskell
257

Scala
521

Lua
1,063

C
2,571

Shell
3,041

C++
4,393

Python
8,365

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

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

xmonad-config

My xmonad config

site

coexp

Continuations and Co-exponentials

basic-hott

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

gentoostats-playground

Playground for gentoostats

guess

A simple number guessing game Facebook app

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

99problems

df

My dotfiles repository

scanner

ratemypunch

tweet-bti

Tweet using bti

brainf-k

A Brainf**k interpreter in haskell

apokolips

My personal portage overlay

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