Discover @anishathalye Open Source projects

Anish Athalye (@anishathalye)

anishathalye

Stars
25,118
Global Rank 572 (Top 0.02 %)
Followers 4,174
Following 267
Registered almost 12 years ago
Most used languages

Python
21.7 %

JavaScript
8.7 %

HTML
8.7 %

Go
8.7 %

Racket
8.7 %

Verilog 6.5 %

TeX
4.3 %

C
4.3 %

Shell
4.3 %

Jupyter Notebook
4.3 %

Coq 4.3 %

Rust
4.3 %

CoffeeScript
2.2 %

Java
2.2 %

PowerShell
2.2 %

Objective-C
2.2 %

Ruby
2.2 %
Location 🇺🇸 United States
Country Total Rank 380
Country Ranking

TeX
24

Racket
54

Python
67

Verilog 82

Coq 83

Objective-C
112

PowerShell
171

Jupyter Notebook
249

Shell
319

Go
490

CoffeeScript
594

Rust
2,250

Ruby
2,982

C
3,922

JavaScript
4,804

HTML
7,448

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

Jupyter Notebook

seashells

The official client for seashells.io 🐚

dotfiles

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

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 📽

offix

"Who is in the office?" 👀

dotfiles_template

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

ribosome

Synthesize photos from PhotoDNA using machine learning 🌱

imagenet-simple-labels

Simpler human-readable labels for ImageNet 🏷

dotfiles-local

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

mathematics-of-deep-learning

The Mathematics of Deep Learning, SIPB IAP 2018

Jupyter Notebook

proof-html

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

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 📟

hubot-group

A hubot script that expands mentions of groups 👫

synox

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

knox-hsm

Circuits and hardware security modules formally verified with Knox 🔐

disposable

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

skipchat

SkipChat - MHacks V

rtlv

Tools for reasoning about circuits in Rosette/Racket 🔌

micro-wwvb

A tiny WWVB station 📡

linux-bootstrap

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

hubot-shortcut

A macro system for hubot 💨

bin2coe

A tool to convert binary files to COE files 💫

anishathalye

A self-updating GitHub profile 🐯

hubot-conf

A simple configuration management system for hubot 🔧

gitlive

the source code that powered gitlive.net

chroniton

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

unblock

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

countdown

A simple countdown timer you can set as your homepage ⏰

coqioa

A formalization of IO automata in the Coq proof assistant

x

playground for testing stuff on github

assets

README assets for my GitHub projects 🎭

easy-security

Slides from the SIPB Cluedump on Low Effort High Impact Security

learn-pgp

Slides from the SIPB Cluedump on PGP

learn-git

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

deterministic-start-benchmark

ipr

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

xclips

scripts

formal-methods-tutorial-2022-10-11