Pinned Repositories
agda-mode-vscode
agda-mode on VS Code
ba-rs
bash_unit
bash unit testing enterprise edition framework for professionals
bip39-monero-derive
bpmn-js-properties-panel
A properties panel for bpmn-js.
dendron
The personal knowledge management (PKM) tool that grows as you do!
edamagit
Magit for VSCode
loveputer
A console-based Lua-programmable computer for children based on löve2d framework.
scala3-seed.g8
userscripts
aldum's Repositories
aldum/bip39-monero-derive
aldum/agda-mode-vscode
agda-mode on VS Code
aldum/ba-rs
aldum/bash_unit
bash unit testing enterprise edition framework for professionals
aldum/dendron
The personal knowledge management (PKM) tool that grows as you do!
aldum/edamagit
Magit for VSCode
aldum/elm-markup
Elm-friendly markup
aldum/elmstatic
Elm-to-HTML static site generator
aldum/i3-extras
Repository to keep patches and extras for i3 window manager.
aldum/InlineError
aldum/learnyouanelm.github.io
“Learn You an Elm!”, based on LYAH by Miran Lipovača
aldum/loveputer
A console-based Lua-programmable computer for children based on löve2d framework.
aldum/scala3-seed.g8
aldum/fp_made_easier
Going through Charles Scalfani's Functional Programming Made Easier
aldum/LookingGlass
An extremely low latency KVMFR (KVM FrameRelay) implementation for guests with VGA PCI Passthrough.
aldum/love-actions-android
Build Android .apk and .abb packages
aldum/love-android
aldum/loveputer-android
aldum/lua-resty-auto-ssl
On the fly (and free) SSL registration and renewal inside OpenResty/nginx with Let's Encrypt.
aldum/metals
Scala language server with rich IDE features 🚀
aldum/metals-vscode
Visual Studio Code extension for Metals
aldum/metalua
The metalua programming language
aldum/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
aldum/scala-typed-holes
aldum/scala-with-cats
aldum/traycer
aldum/vgtht
aldum/zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
aldum/zio-http
A scala library to write Http apps.
aldum/zio-lru-cache
Source code for "Writing a concurrent LRU Cache with ZIO blogpost"