aartamonau Goto Github PK

aartamonau.github.com

ada2

Coursera "Algorithms: Design and Analysis, Part 2" programming assignments

ale

Another Logger for Erlang

amoebas

Virtual evolution of amoebas

authinfo

KISS password manager

autofailover-quickcheck

playing with quick-checking autofailover state machine

bgfetches

cbauth

cdecl

A program that descrypts C type declarations. Implemented as an exercise for "Expert C Programming" book.

chronicle

An implementation of the Raft consensus protocol

couchdb

Mirror of Apache CouchDB

crypto

Coursera "Introduction to Cryptography"

db-edsl

old experiment with type-safe query language as haskell edsl

dtm

My struggle for understanding Dependently Typed Metaprogramming (http://www.cl.cam.ac.uk/~ok259/agda-course-13/)

el-get

Manage the external elisp bits and pieces upon which you depend!

emacs-configuration

My emacs config

entropy-eater

Surrealistic virtual creature living in your kernel space.

erldemo

etags-select

etags-select from http://www.emacswiki.org/EtagsSelect with some (arguable) improvements

ezk

finger-tree

Quick and dirty finger tree implementation.

fusefat32

Educational project which allows mounting of FAT32 filesystems using FUSE. Hope it can become good introduction to FUSE when it's done.

gometa-bench

gometa benchmark

gossim

wanna-be-a-gossip-protocols-simulator

gozip

Zip compressor with Zip64 support in Go

haskell-agents

Clojure-like agents for haskell

haskell-barrier

Barrier synchronisation for Haskell.

haskell-condition

Condition variables for Haskell implemented on top of MVars.

haskell-holes

Very simple and stupid imitation of Clojure's anonymous functions in Haskell.

haskell-neat

NeuroEvolution of Augmenting Topologies in Haskell