adelbertc

sabre

In-memory distributed graph processing of trivially parallelizable graph algorithms.

software-foundations

My answers to Benjamin Pierce's "Software Foundations" exercises, v3.1 (July 2014)

programming-in-idris

Following Idris tutorial, also playing around.

dt-programming-in-agda

Answers to Ulf Norell and James Chapman's "Dependently Typed Programming in Agda" exercises.

vim-config

My Vim configuration folder.

scalanet

Basic network simulator written in Scala 2.9.2 and Akka 2.0.3 for submission to the Typesafe Developer Contest.

cinema

Cinema is no longer an active project - it has been replaced with Sabre.

jumble

`Hashable` type class for Scala, based on the Haskell package `hashable`.

nets-hs

Graph/complex network analysis library for Haskell.

nets-scala

Simple graph (graph theory-graph.. not charts/plots) library for Scala.

scala-optparse-applicative

Scala port of Paolo Capriotti's optparse-applicative library

course-answers

dialectic

Dialectic is a (work in progress) Scala implementation of the *Kanren languages.

ensime-server

ENhanced Scala Interaction Mode for text Editors (especially Emacs) Server Component

misc

Miscellaneous scripts/programs and potentially other things that I want to keep backed-up.

rng

Pure-functional random value generation

sbt-ctags

SBT ctags is an SBT plugin that will generate ctags for your Scala project.

scala-skeleton

Skeleton for my Scala projects.

spire

Powerful new number types and numeric abstractions for Scala.

tau

The simple XMPP bot