Pinned Repositories
hello-world
Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!
github-scripts
Just scripts to automatize some things e.g. "Follow", "Unfollow", "Staring"
ial
The Iowa Agda Library
telegraf
Modern Telegram Bot Framework for Node.js
start-here-guidelines
Lets Git started in the world of opensource, starting in the Zero To Mastery's opensource playground. Especially designed for education and practical experience purposes.
qiqt's Repositories
qiqt/github-scripts
Just scripts to automatize some things e.g. "Follow", "Unfollow", "Staring"
qiqt/ial
The Iowa Agda Library
qiqt/telegraf
Modern Telegram Bot Framework for Node.js