Discover anishathalye/proof-html Open Source project

Neural style in TensorFlow! 🎨

6,896

neural-style

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

5,542

git-remote-dropbox

Magic auto brightness based on screen contents 💡

3,041

lumen

Objective-C

2,284

gemini

Gemini is a modern LaTex beamerposter theme 🖼

TeX

946

obfuscated-gradients

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

Jupyter Notebook

876

porcupine

A fast linearizability checker written in Go 🔎

856

seashells

The official client for seashells.io 🐚

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

706

dotfiles

Shell

691

neural-hash-collider

Preimage attack against NeuralHash 💣

A project expo judging system 📊

663

gavel

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

430

periscope

372

auriga

Auriga is a minimalist LaTeX beamer presentation theme 📽

TeX

322

offix

"Who is in the office?" 👀

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

181

dotfiles_template

PowerShell

181

ribosome

Synthesize photos from PhotoDNA using machine learning 🌱

Simpler human-readable labels for ImageNet 🏷

141

imagenet-simple-labels

117

dotfiles-local

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

Shell

mathematics-of-deep-learning

The Mathematics of Deep Learning, SIPB IAP 2018

Jupyter Notebook

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: A Device for Secure Transaction Approval 📟

notary

Verilog

hubot-group

A hubot script that expands mentions of groups 👫

CoffeeScript

synox

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

Rust

disposable

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

Circuits and hardware security modules formally verified with Knox 🔐

knox-hsm

Verilog

skipchat

SkipChat - MHacks V

rtlv

Tools for reasoning about circuits in Rosette/Racket 🔌

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

micro-wwvb

A tiny WWVB station 📡

linux-bootstrap

hubot-shortcut

A macro system for hubot 💨

A tool to convert binary files to COE files 💫

bin2coe

A simple configuration management system for hubot 🔧

hubot-conf

A self-updating GitHub profile 🐯

anishathalye

the source code that powered gitlive.net

gitlive

Java

chroniton

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

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

unblock

countdown

A simple countdown timer you can set as your homepage ⏰

A formalization of IO automata in the Coq proof assistant

coqioa

Coq

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

Slides from the SIPB Cluedump on PGP

learn-pgp

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

learn-git

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

deterministic-start-benchmark

Verilog

ipr

Coq

xclips

Rust

scripts

formal-methods-tutorial-2022-10-11