👋 hi, I’m mango
You may know me from the internet as this little fella:
what I’m currently up to
- my main interests currently include
- online build systems
- language servers
- programming language implementation
- end to end encrypted messaging and federation
- functional reactive programming
- I design(ed) keyboards and PCBs such as the DracuLad and the Le Chiffre Bluetooth drop-in replacement PCB
my git
I’ve switched over to my own forgejo instance for everything unrelated to keyboards. Other alternatives to GitHub include sourcehut, codeberg or gitlab.
There you can find the following things:
| what | where | status | built on |
|---|---|---|---|
| my nixos dotfiles | dotfiles |  |
 |
| my personal (this) website | website |  |
  |
| the git shepherd | git-shepherd |  |
 |
| extras for fused-effects | fused-effects-extras |  |
|
| a heterogeneous rosetree | htree |  |
 |
| a webshop for motorcycle tours | webshop |  |
--%235277C3?logo=nixos){kind=icon} |
| mutable linked list | linked-list-mut |  |
|
| ghci devshell | ghci-module |  |
 |
| alternative hoogle web frontend | modern-hoogle |  |
 |
| self-hostable, microblogging-style pastebin | haskell-note |  |
|
| dead simple, monoidal http requests | http-barf |  |
 |
| concurrent, pretty, simple logging | unclogging |  |
 |
| cps monad meets skolem trap | scoped-codensity |  |
 |
contact me
You can send a mail to [email protected] or ping me on mastodon.