Anish Athalye

Neural style in TensorFlow! 🎨

A tool that bootstraps your dotfiles ⚡️

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

Preimage attack against NeuralHash 💣

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

Gemini is a modern LaTex beamerposter theme 🖼

Magic auto brightness based on screen contents 💡

A fast linearizability checker written in Go 🔎

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

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

The official client for seashells.io 🐚

A project expo judging system 📊

Auriga is a minimalist LaTeX beamer presentation theme 📽

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

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

"Who is in the office?" 👀

Synthesize photos from PhotoDNA using machine learning 🧬

Simpler human-readable labels for ImageNet 🏷

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

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

The Mathematics of Deep Learning, SIPB IAP 2018

The seashells.io server 🐚

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

Notary: A Device for Secure Transaction Approval 📟

Guest lecture in MIT 6.566 on AI Agent Security

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

A tiny WWVB station 📡

Circuits and hardware security modules formally verified with Knox 🔐

A hubot script that expands mentions of groups 👫

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

Tools for reasoning about circuits in Rosette/Racket 🔌

SkipChat - MHacks V

A tool to convert binary files to COE files 💫

A self-updating GitHub profile 🐯

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

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

A macro system for hubot 💨

the source code that powered gitlive.net

A simple configuration management system for hubot 🔧

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

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

A simple countdown timer you can set as your homepage ⏰

README assets for my GitHub projects 🎭

A formalization of IO automata in the Coq proof assistant

Breaking High-level representation Guided Denoiser (Liao et al. 2018)

playground for testing stuff on github

Slides from the SIPB Cluedump on PGP

Slides from the SIPB Cluedump on Low Effort High Impact Security

No description.

No description.

An introduction to using Git - prepared for HackMIT / Hack Week 2015

Deflecting Adversarial Attacks with Pixel Deflection (security analysis)

No description.

The standard package for machine learning with noisy labels, finding mislabeled data, and uncertainty quantification. Works with most datasets and models.

Data Centric AI resources

Command line interface for all things Cleanlab Studio

HACL*, a formally verified cryptographic library written in F*

Your unofficial guide to doing dotfiles on GitHub.

reminder to self: DO NOT DELETE THIS REPO; old versions of Dotbot depend on it

A curated list of awesome Deep Learning tutorials, projects and communities.

PicoRV32 - A Size-Optimized RISC-V CPU

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

The official Rust SDK for the Model Context Protocol

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

No description.

Python client library to integrate Cleanlab Codex into RAG applications

No description.

The CompCert formally-verified C compiler

No description.

No description.

A Hubot adapter for Keybase bot development