Vicfred's starred repositories
idris-snippets
Collection of Idris snippets
Idris2-boot
A dependently typed programming language, a successor to Idris
streamlink
Streamlink is a CLI utility which pipes video streams from various services into a video player
sleepy-discord
C++ library for the Discord chat client. Please use Rust for new bots