Pinned Repositories
bar
bar ain't recursive - A lightweight xcb based bar running on a single monitor
dotfiles
ebalancer
My bachelor thesis in Erlang.
evc
Erlang vector clock with total ordering. A simple implementation of the VC algorithm with support for dynamically adding/removing actors.
irrPP
Post-processing framework for the Irrlicht rendering engine.
irrRenderer
A sort-of graphical extension for the Irrlicht rendering engine. Deferred rendering, parallax, soft particles.
masters
Coinductive Formalization of SECD Machine in Agda
retrie
256-ary radix trees with full regex support.
useronym's Repositories
useronym/bar
bar ain't recursive - A lightweight xcb based bar running on a single monitor
useronym/evc
Erlang vector clock with total ordering. A simple implementation of the VC algorithm with support for dynamically adding/removing actors.
useronym/masters
Coinductive Formalization of SECD Machine in Agda
useronym/dotfiles
useronym/beamed
Types come to the BEAM. Or BEAM comes around to the type way?
useronym/checker
useronym/instant-ngp
Instant neural graphics primitives: lightning fast NeRF and more
useronym/SECDA
useronym/stalkerlike-server
useronym/fb-archive
Archiving software developed for the Brno Philharmonic
useronym/agda-stdlib
The Agda standard library
useronym/amsik
Haskell demo
useronym/arfoundation-samples
Example content for Unity projects based on AR Foundation
useronym/backr
TBD
useronym/BubbleGameJam
GGJ 2025
useronym/FPBrno.github.io
Functional Programming Brno meetup
useronym/has
Entity based records
useronym/haskelldb
A library for building re-usable and composable SQL queries.
useronym/Houds
Houdini stuffs & things
useronym/indexed-extras
Indexed functors, monads and comonads that require extensions to Haskell98
useronym/jsartoolkit5
Javascript ARToolKit v5.x
useronym/just_audio
Audio Player
useronym/library
Research library of the ##dependent IRC channel
useronym/linear
useronym/neuromusic
useronym/oh-my-agda
Various Agda
useronym/re-lazy-list
Lazy lists for ReasonML
useronym/rebar3_auto
Rebar3 plugin to auto compile and reload on file change.
useronym/spline_chart
Spline Chart for Flutter
useronym/stalkerlike-client-cli