anishathalye

Anish Athalye's starred repositories

cleanlab

The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels.

Language:PythonAGPL-3.08911 85 344

dotbot

A tool that bootstraps your dotfiles ⚡️

Language:PythonMIT6866 62 245

git-remote-dropbox

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

Language:PythonMIT3039 62 85

cleanvision

Automatically find issues in image datasets and practice data-centric computer vision.

Language:PythonAGPL-3.0937 15 84

neural-hash-collider

Preimage attack against NeuralHash 💣

Language:PythonMIT659 11 4

dcai-lab

Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 👩🏽‍💻

Language:Jupyter NotebookAGPL-3.0405 13 5

periscope

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

Language:GoGPL-3.0372 7 8

label-errors

🛠️ Corrected Test Sets for ImageNet, MNIST, CIFAR, Caltech-256, QuickDraw, IMDB, Amazon Reviews, 20News, and AudioSet

GPL-3.0177 6 3

ribosome

Synthesize photos from PhotoDNA using machine learning 🌱

Language:PythonMIT140 5 1

examples

Notebooks demonstrating example applications of the cleanlab library

Language:Jupyter NotebookAGPL-3.0103 7 15

dcai-course

Introduction to Data-Centric AI, MIT IAP 2023 🤖

Language:CSSNOASSERTION90 7 1

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 4

knox

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

Language:RacketMIT29 30

notary

Notary: A Device for Secure Transaction Approval 📟

Language:VerilogMIT28 6 1

synox

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

Language:RustMIT24 30

knox-hsm

Circuits and hardware security modules formally verified with Knox 🔐

Language:VerilogMIT21 30

dotbot-template

Template repository for advanced Dotbot setup

Language:ShellMIT19 3 3

rtlv

Tools for reasoning about circuits in Rosette/Racket 🔌

Language:RacketMIT18 40

micro-wwvb

A tiny WWVB station 📡

Language:CMIT17 40

kronos

My MEng thesis code - verifying a security property for an SoC with Rosette

Language:Racket15 50

vizzy

Cleanlab Vizzy: illustrating the core ideas behind the Cleanlab algorithm

Language:TypeScriptMIT13 50

anishathalye

A self-updating GitHub profile 🐯

Language:Python11 30

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

porc-epic

:turtle: A slow linearizability checker written in Scala :mag_right:

Language:ScalaNOASSERTION6 40

countdown

A simple countdown timer you can set as your homepage ⏰

Language:HTML500

aws-marketplace

Documentation and Example Notebooks for using AWS Marketplace solutions from Cleanlab

Language:Jupyter NotebookMIT5 40

assets

README assets for my GitHub projects 🎭

4 3 1