Anish Athalye

A tool that bootstraps your dotfiles ⚡️

Gemini is a modern LaTex beamerposter theme 🖼

A fast linearizability checker written in Go 🔎

Magic auto brightness based on screen contents 💡

Synthesize photos from PhotoDNA using machine learning 🧬

A self-updating GitHub profile 🐯

A tool to convert binary files to COE files 💫

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

Harbor is a framework for running agent evaluations and creating and using RL environments.

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

Auriga is a minimalist LaTeX beamer presentation theme 📽

A project expo judging system 📊

A GitHub Action to validate HTML, check links, and more ✅

Neural style in TensorFlow! 🎨

Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples

The official Rust SDK for the Model Context Protocol

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

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

The official client for seashells.io 🐚

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

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

A tiny WWVB station 📡

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

Simpler human-readable labels for ImageNet 🏷

The seashells.io server 🐚

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

Circuits and hardware security modules formally verified with Knox 🔐

Preimage attack against NeuralHash 💣

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

README assets for my GitHub projects 🎭