anishathalye

followers

following

stars

MIT CSAIL

Cambridge, MA

https://anishathalye.com

Organizations

cleanlab

dcai-course

labsix

missing-semester

mit-pdos

Anish Athalye's repositories

dotbot

A tool that bootstraps your dotfiles ⚡️

Language:PythonMIT6827 62 245

neural-style

Neural style in TensorFlow! 🎨

Language:PythonGPL-3.05541 224 138

git-remote-dropbox

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

Language:PythonMIT3033 62 85

gemini

Gemini is a modern LaTex beamerposter theme 🖼

Language:TeXMIT924 23 24

obfuscated-gradients

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

Language:Jupyter Notebook871 490

porcupine

A fast linearizability checker written in Go 🔎

Language:GoMIT844 25 11

dotfiles

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

Language:ShellMIT683 16 9

gavel

A project expo judging system 📊

Language:PythonAGPL-3.0429 16 61

periscope

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

Language:GoGPL-3.0372 7 8

ribosome

Synthesize photos from PhotoDNA using machine learning 🌱

Language:PythonMIT139 5 1

imagenet-simple-labels

Simpler human-readable labels for ImageNet 🏷

dotfiles-local

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

Language:ShellMIT73 40

seashells-server

The seashells.io server 🐚

Language:GoAGPL-3.052 3 4

proof-html

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

Language:RubyMIT51 4 3

knox

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

Language:RacketMIT28 30

notary

Notary: A Device for Secure Transaction Approval 📟

Language:VerilogMIT28 6 1

knox-hsm

Circuits and hardware security modules formally verified with Knox 🔐

Language:VerilogMIT21 30

hubot-shortcut

A macro system for hubot 💨

Language:JavaScriptMIT16 30

bin2coe

A tool to convert binary files to COE files 💫

Language:PythonMIT14 30

anishathalye

A self-updating GitHub profile 🐯

Language:Python11 30

hubot-conf

A simple configuration management system for hubot 🔧

Language:JavaScriptMIT11 5 2

chroniton

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

Language:RacketMIT8 20

unblock

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

Language:GoMIT7 30

x

playground for testing stuff on github

400

assets

README assets for my GitHub projects 🎭

300

cleanlab

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

Language:PythonAGPL-3.0100

cleanlab-studio

Command line interface for all things Cleanlab Studio

Language:PythonMIT1 20

hacl-star

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

Apache-2.0100

pyyaml

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

Language:PythonMIT1 10

CompCert

The CompCert formally-verified C compiler

NOASSERTION000