Discover @useronym Open Source projects

Adam Krupicka (@useronym)

useronym

Stars
47
Global Rank 356,388 (Top 13 %)
Followers 29
Following 13
Registered over 11 years ago
Most used languages

Erlang
33.3 %

Agda 25.0 %

C++
16.7 %

Haskell
8.3 %

Emacs Lisp
8.3 %

Java
8.3 %
Location 🇳🇴 Norway
Country Total Rank 1,499
Country Ranking

Agda 1

Erlang
6

Emacs Lisp
46

Haskell
110

C++
270

Java
1,218

evc

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?