The AI to keep you focused 😈

Points for Free: Embedding Pointful Array Programming in Python

Simple, Elegant, Typed Argument Parsing with argparse

Official codebase for Image Hijacks: Adversarial Images can Control Generative Models at Runtime

Pythonic framework for building ONNX graphs

Part II Project 2022/2023: Type-safe multi-stage programming with Lys

A playbook for systematically maximizing the performance of deep learning models.

A 1D analogue of the MNIST dataset for measuring spatial biases and answering Science of Deep Learning questions.

Annotating tensor shapes using Python types

Modelling and machine learning: the foundations of data science

Code for Neural Execution Engines: Learning to Execute Subroutines

Minimalist Android launcher designed for phone-life balance

Physarum Powered Differentiable Linear Programming Layers

The bAbI question-answering dataset ported into T2T.

Anki's manual

Docker image for attacking cryptography CTF challenges

A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.

Dockerfile for IMDB Neo4j database

Combine bulk add, update, and delete into a single call.

Notes on Functional Programming and related topics

A collaborative book on algorithms

Docker setup for the DMOJ: Modern Online Judge site.

🎮 A frictionless multiplayer web app that lets you play Set with friends

The cyPHIr challenge, this is it. Good luck.

Lean 3's obsolete mathematical components library: please use mathlib4

Source code of the Beta of the NHS COVID-19 Android app

Mask Banao Website

An Infinitely Large Napkin