A Gnus backend for Hacker News

A Gnus backend for Reddit

Securibench Micro is a benchmark for static analysis tools for security.

Code for the advent of code 2020.

A workshop on learning Agda with minimal prerequisites.

Code samples for No Starch Press Black Hat Go

A simple app to scan your receipt. The app should then figure what you bought and save it in a database.