anishathalye

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! 🎁

gemini

Gemini is a modern LaTex beamerposter theme 🖼

obfuscated-gradients

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

porcupine

A fast linearizability checker written in Go 🔎

dotfiles

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

gavel

A project expo judging system 📊

periscope

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

imagenet-simple-labels

Simpler human-readable labels for ImageNet 🏷

dotfiles-local

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

proof-html

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

knox

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

synox

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

knox-hsm

Circuits and hardware security modules formally verified with Knox 🔐

rtlv

Tools for reasoning about circuits in Rosette/Racket 🔌

bin2coe

A tool to convert binary files to COE files 💫

anishathalye

A self-updating GitHub profile 🐯

chroniton

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

coqioa

A formalization of IO automata in the Coq proof assistant

assets

README assets for my GitHub projects 🎭

x

playground for testing stuff on github

ipr

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

cleanlab

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

cleanlab-studio

Command line interface for all things Cleanlab Studio

hacl-star

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

pyyaml

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

CompCert

The CompCert formally-verified C compiler

parfait-hsm

starling