deadinsi.de is part of the decentralized social network powered by Mastodon.

Administered by:

Server stats:

60
active users

Learn more

pocket philosopher 🦐

lacks any internal documentation, so I have no idea how to add new compilers.