There are no reviews yet. Be the first to send feedback to the community and the maintainers!
2DTypes
Collaborative work on reversible computingpopl22-symmetries-artifact
Artifact for Symmetries in Reversible Programminggeneralised-species
Espèces généralisées de structures sur les groupoïdesakka-argonaut
Argonaut json marshallers for akka-stream and akka-httpCompGeo
Computational Geometry algorithms librarygentoostats
SoC2011: Gentoo package statisticsfirewall-auth-sh
IITK firewall authbasic-hott
personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)xmonad-config
My xmonad configavr-music
Music using an AVR microcontroller.emacs.d
vikraman's .emacs.ddocker-gentoo
Minimal gentoo amd64 docker imageSim
A simple pencil gamecoexp
Continuations and Co-exponentialsgentoostats-playground
Playground for gentoostatssite
guess
A simple number guessing game Facebook appbrainf-k
A Brainf**k interpreter in haskellsicp
My solutions to the SICP exercisesprogramming-scripts
Scripts to ease programming for the lazy coderlastfmable
Playing around with the last.fm api and appenginepatch-theory
A naive patch theory implementationapokolips
My personal portage overlay99problems
df
My dotfiles repositoryratemypunch
scanner
A port scanneramestris
Qt4 based fault tolerant GUI servercolor-it
Flood-it solvertweet-bti
Tweet using btiLove Open Source and this site? Check out how you can help us