Arvind Venkatesh's starred repositories
vscode-lean
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
headless-recorder
Chrome extension that records your browser interactions and generates a Playwright or Puppeteer script.
coronavirus_visualization_and_prediction
This repository tracks the spread of the novel coronavirus, also known as SARS-CoV-2. It is a contagious respiratory virus that first started in Wuhan in December 2019. On 2/11/2020, the disease is officially named COVID-19 by the World Health Organization.
write-good
Naive linter for English prose
matplotlib
matplotlib: plotting with Python
Quantalabs
Has the README on the profile page.
awesome-CoronaWhy
COVID-19 resources CoronaWhy community is using
data-efficient-gans
[NeurIPS 2020] Differentiable Augmentation for Data-Efficient GAN Training
arxiv-vanity
Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.
fast-neural-style
Feedforward style transfer
DeepLearningImplementations
Implementation of recent Deep Learning papers
conv_layers_animation
Animation of standard and transposed convolutional layers
pytorch-CycleGAN-and-pix2pix
Image-to-Image Translation in PyTorch
neural-dream
PyTorch implementation of DeepDream algorithm
MonitorControl
🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.
magic_paper
Experiments in an explorable visual medium for mathematics