Anish Athalye

dotbot. A tool that bootstraps your dotfiles ⚡️

neural-style. Neural style in TensorFlow! 🎨

git-remote-dropbox. A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁

lumen. Magic auto brightness based on screen contents 💡

gemini. Gemini is a modern LaTex beamerposter theme 🖼

porcupine. A fast linearizability checker written in Go 🔎

obfuscated-gradients. Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples

dotfiles. ~anish • powered by https://github.com/anishathalye/dotbot 💾

seashells. The official client for seashells.io 🐚

neural-hash-collider. Preimage attack against NeuralHash 💣

gavel. A project expo judging system 📊

periscope. Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭

auriga. Auriga is a minimalist LaTeX beamer presentation theme 📽

semlib. Build data processing and data analysis pipelines that leverage the power of LLMs 🧠

dotfiles_template. A template for structuring dotfiles (using Dotbot as an installer) 📜

offix. "Who is in the office?" 👀

ribosome. Synthesize photos from PhotoDNA using machine learning 🧬

imagenet-simple-labels. Simpler human-readable labels for ImageNet 🏷

proof-html. A GitHub Action to validate HTML, check links, and more ✅

dotfiles-local. ~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠

mathematics-of-deep-learning. The Mathematics of Deep Learning, SIPB IAP 2018

seashells-server. The seashells.io server 🐚

knox. A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

notary. Notary: A Device for Secure Transaction Approval 📟

synox. Rust library for program synthesis of string transformations from input-output examples 🔮

knox-hsm. Circuits and hardware security modules formally verified with Knox 🔐

micro-wwvb. A tiny WWVB station 📡

hubot-group. A hubot script that expands mentions of groups 👫

disposable. Create a Reddit throwaway account with the click of a button! 🚮

rtlv. Tools for reasoning about circuits in Rosette/Racket 🔌

skipchat. SkipChat - MHacks V

bin2coe. A tool to convert binary files to COE files 💫

linux-bootstrap. get a debian-based system set up the way I like it, with minimal effort on my part

anishathalye. A self-updating GitHub profile 🐯

hubot-shortcut. A macro system for hubot 💨

chroniton. A tool for formally verifying constant-time software against hardware 🕰️

hubot-conf. A simple configuration management system for hubot 🔧

gitlive. the source code that powered gitlive.net

unblock. A tiny utility to make shell pipes behave as if they have unlimited buffering ♾

ipr. A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant 🧩

countdown. A simple countdown timer you can set as your homepage ⏰

assets. README assets for my GitHub projects 🎭

coqioa. A formalization of IO automata in the Coq proof assistant

x. playground for testing stuff on github

learn-pgp. Slides from the SIPB Cluedump on PGP

easy-security. Slides from the SIPB Cluedump on Low Effort High Impact Security

deterministic-start-benchmark. Verilog