vikraman/xmonad-config

Stars
2
Language
Haskell
Created over 13 years ago
Updated about 11 years ago

vikraman/xmonad-config

vikraman

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My xmonad config

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)

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