Scrapy, a fast high-level web crawling & scraping framework for Python.

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

🍦 Never use print() to debug again.

A functional standard library for Python.

Simple, elegant, Pythonic functional programming.

Unbearably fast near-real-time pure-Python runtime-static type-checker.

A Python command-line and library that draws basic graphs in the terminal

Decentralised, minimalist microblogging service for hackers.

Eliot: the logging system that tells you *why* it happened

Yet another redundant workflow engine

Interactive Coq Proofs in Vim

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

🎓 UQCSbot: our friendly little Slack bot

A reinforcement learning bot for Fate Grand Order

(WIP) Write (TeX-friendly) Markdown notes, get a clean webpage full of them!