Slack Project
3 items
Browse all content in this category
14 April 2023 Bot
Alfred
A Discord bot that helps the CodeLounge team with server maintenance: it follows Icinga monitoring alerts, calls in whoever is on duty, and keeps the weekly maintenance rotation
1 July 2019 Project
Collecting and Visualizing Development Activities in Visual Studio Code
Tracking low-level IDE interaction events and transforming them into meaningful data to understand our own productivity
1 September 2018 Library
jSicko
A Java SImple Contract checKer: a compiler plugin that turns contract annotations written in plain Java into runtime checks