Pinned Loading

1. masters masters Public

   Coinductive Formalization of SECD Machine in Agda

   Agda 6

2. ebalancer ebalancer Public

   My bachelor thesis in Erlang.

   Erlang 3

3. evc 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 retrie Public

   256-ary radix trees with full regex support.

   Erlang

5. bar 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 irrRenderer Public

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

   C++ 7 4