Is this repo still in use?

[davidstanke]

...or did we move everything to https://github.com/r9y-dev ?

[stevemcghee]

everything should be moved. are you suggesting i actually deprecate all this? :)
(do you see anything that is left here which wasn't ported over before i do so?)