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