vikraman/generalised-species

Stars
4
Rank 3,304,323 (Top 66 %)
Language Agda
Created over 5 years ago
Updated over 1 year ago

vikraman/generalised-species

vikraman

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

Espèces généralisées de structures sur les groupoïdes

2DTypes

Collaborative work on reversible computing

popl22-symmetries-artifact

Artifact for Symmetries in Reversible Programming

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

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