vikraman/amestris

Stars
1
Language
C
Created over 12 years ago
Updated over 12 years ago

vikraman/amestris

vikraman

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

Qt4 based fault tolerant GUI server

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

cgal-qt-demos

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

color-it

Flood-it solver

tweet-bti

Tweet using bti