Pinned

1. masters Public

   Coinductive Formalization of SECD Machine in Agda

   Agda 6

2. ebalancer Public

   My bachelor thesis in Erlang.

   Erlang 3

3. evc Public

   Erlang vector clock with total ordering. A simple implementation of the VC algorithm with support for dynamically adding/removing actors.

   Erlang 8

4. retrie Public

   256-ary radix trees with full regex support.

   Erlang

5. bar Public

   Forked from krypt-n/bar

   bar ain't recursive - A lightweight xcb based bar running on a single monitor

   C 11

6. irrRenderer Public

   A sort-of graphical extension for the Irrlicht rendering engine. Deferred rendering, parallax, soft particles.

   C++ 6 4