useronym/evc

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Erlang
Created almost 10 years ago
Updated about 7 years ago

useronym/evc

useronym

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

masters

Coinductive Formalization of SECD Machine in Agda

irrRenderer

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

irrPP

Post-processing framework for the Irrlicht rendering engine.

ebalancer

My bachelor thesis in Erlang.

dotfiles

stalkerlike-server

checker

fractured

A fractal explorer for Android which utilizes the GPU to render the fractals. Uses libGDX and requires OpenGL ES 2.0.

SECDA

etst

Compact ternary search trees for Erlang.

beamed

Types come to the BEAM. Or BEAM comes around to the type way?