vikraman Goto Github PK

.emacs.d

vikraman's .emacs.d

2dtypes

Collaborative work on reversible computing

8tracks

A command line player for 8tracks.com

99problems

agda-coexp

Formalisation of some ideas related to continuations and co-exponentials

agda-holes

Agda programming with holes

agda-playground

agda-structures

Structures as in model theory/universal algebra

akka

Akka Project

akka-argonaut

Argonaut json marshallers for akka-stream and akka-http

akka-http-demo

akka-http-microservice

Example of (micro)service written in Scala & akka-http

akka-sse-primes

A demo of Server Sent Events using akka-stream and akka-http

akka-streams-demo

amestris

Qt4 based fault tolerant GUI server

apokolips

My personal portage overlay

arms

Automatic Routine Management System

autolinker.dart

avr-music

Music using an AVR microcontroller

awesome-awesomeness

A curated list of awesome awesomeness

basic-hott

personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)

blueprints-scala

Tinkerpop Blueprints Scala

brainf-k

A Brainf**k interpreter in haskell

camel-kafka

scala 2.11 build for camel-kafka

categories

Categories parametrized by morphism equality, in Agda

cats

Lightweight, modular, and extensible library for functional programming.

cgal-qt-demos

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

chi

ci-release-pdf-test

Can we make travis ci build pdfs and publish to github releases?

color-it

Flood-it solver