A user-friendly introduction to the multi-modal BigEarthNet-MM dataset.

Browser extension that automatically fills out cookie popups based on your preferences

Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes

Decentralized private messenger with chat-shared tools and games for Desktop

Verified hash-based AMQ structures in Coq

TBA

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

A gamification of the theorems in MATH40002 Analysis 1

The Complex Number Game. Make the complex numbers in Lean.

Django-based REST API

A free and open database for farming and gardening knowledge. You can grow anything!

Kraskov mutual information estimation based on approximate nearest neighbours

Pidgin libpurple bridge to signald.

Libpurple protocol plugin for matrix

Simple, elegant, Pythonic functional programming.

🐀 A decentralised discussion platform for communities.

Adding conjecturing to Sage

A minimalist kernel

An Android client for the microblogging server Mastodon

a libre collaborative book mapper, powered by open-knowledge 📚

Clickable, multicsale truchet tiling generator in javascript

Script to convert Telegram .html chat export files to easier to process .csv.

▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.

Learn you an Agda (and achieve enlightenment)

ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

outbreaks: an R package compiling disease outbreak data

Repository of the Study Project "Understanding learning in deep neural networks with the help of information theory"

🔖 Personal mini-web in text

Directory bookmarks for the shell

A Python API for the MiniSat and MiniCard constraint solvers.