Stars
Simple, Elegant, Typed Argument Parsing with argparse
Official codebase for Image Hijacks: Adversarial Images can Control Generative Models at Runtime
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.
Docker image for attacking cryptography CTF challenges
A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
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
Lean 3's obsolete mathematical components library: please use mathlib4
Source code of the Beta of the NHS COVID-19 Android app