GitHub repository: konsumlamm/digirc
Primary language: Idris
Description: [Nim/Idris] A little IRC bot, just for fun.