Adam Krupicka osense

Pinned

1. masters

   Coinductive Formalization of SECD Machine in Agda

   Agda 2

2. ebalancer

   My bachelor thesis in Erlang.

   Erlang 2

3. evc

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

   Erlang 7

4. retrie

   256-ary radix trees with full regex support.

   Erlang

5. bar

   Forked from krypt-n/bar

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

   C 10

6. irrRenderer

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

   C++ 5 3