Apps
| dotbot â â â 6.2k |
 |
A tool that bootstraps your dotfiles |
| gitâ -â remoteâ -â dropbox â â â 3.0k |
|
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! |
| periscope â â â 344 |
 |
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data |
| lumen â â â 2.3k |
 |
Magic auto brightness based on screen contents |
| seashells â â â 692 |
|
The official client for seashells.io |
| seashellsâ -â server â â â 43 |
|
The seashells.io server |
| gavel â â â 402 |
|
A project expo judging system |
| offix â â â 178 |
 |
"Who is in the office?" |
Machine Learning
| neuralâ -â style â â â 5.5k |
|
Neural style in TensorFlow! |
| obfuscatedâ -â gradients â â â 846 |
 |
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples |
| neuralâ -â hashâ -â collider â â â 640 |
|
Preimage attack against NeuralHash |
| ribosome â â â 115 |
|
Synthesize photos from PhotoDNA using machine learning |
| imagenetâ -â simpleâ -â labels â â â 102 |
Simpler human-readable labels for ImageNet |
|
| cleanlabâ /â cleanlab â â â 6.1k |
|
The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels. |
Libraries
| porcupine â â â 684 |
|
A fast linearizability checker written in Go |
| synox â â â 24 |
 |
Rust library for program synthesis of string transformations from input-output examples |
Design
| gemini â â â 810 |
 |
Gemini is a modern LaTex beamerposter theme |
| auriga â â â 258 |
|
Auriga is a minimalist LaTeX beamer presentation theme |
Formal Verification
| knox â â â 17 |
 |
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities |
| knoxâ -â hsm â â â 14 |
 |
Circuits and hardware security modules formally verified with Knox |
| chroniton â â â 3 |
|
A tool for formally verifying constant-time software against hardware |
| rtlv â â â 15 |
|
Tools for reasoning about circuits in Rosette/Racket |
| notary â â â 25 |
|
Notary: A Device for Secure Transaction Approval |
Misc
| missingâ -â semesterâ /â missingâ -â semester â â â 4.1k |
 |
The Missing Semester of Your CS Education |
| missingâ -â semesterâ /â videos â â â 278 |
|
Lecture video processing scripts |
| dcaiâ -â courseâ /â dcaiâ -â course â â â 70 |
|
Introduction to Data-Centric AI, MIT IAP 2023 |
| dcaiâ -â courseâ /â dcaiâ -â lab â â â 203 |
|
Lab assignments for Introduction to Data-Centric AI, MIT IAP 2023 đŠđ˝âđť |
| bijectionâ /â sistine â â â 3.2k |
|
Turn a MacBook into a Touchscreen with $1 of Hardware |
| dotfiles â â â 648 |
 |
~anish ⢠powered by https://github.com/anishathalye/dotbot |
| dotfilesâ -â local â â â 67 |
|
~anish [local config] ⢠powered by https://git.io/dotbot |
| proofâ -â html â â â 38 |
 |
A GitHub Action to validate HTML using HTMLProofer |
| microâ -â wwvb â â â 8 |
 |
A tiny WWVB station |
| hubotâ -â group â â â 26 |
 |
A hubot script that expands mentions of groups |
| hubotâ -â shortcut â â â 17 |
|
A macro system for hubot |
| hubotâ -â conf â â â 11 |
|
A simple configuration management system for hubot |
| bin2coe â â â 10 |
|
A tool to convert binary files to COE files |
| countdown â â â 6 |
 |
A simple countdown timer you can set as your homepage |
| unblock â â â 7 |
|
A tiny utility to make shell pipes behave as if they have unlimited buffering |
| assets â â â 4 |
README assets for my GitHub projects |