vikraman/apokolips

Stars
1
Language
D
Created about 13 years ago
Updated over 12 years ago

vikraman/apokolips

vikraman

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

My personal portage overlay

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

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