| dotbot â â? â?7.3k |
 |
A tool that bootstraps your dotfiles â¡ï¸ |
| gitâ?-â?remoteâ?-â?dropbox â â? â?3.1k |
|
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! ð |
| periscope â â? â?394 |
 |
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 â â? â?720 |
|
The official client for seashells.io ð |
| seashellsâ?-â?server â â? â?63 |
|
The seashells.io server ð |
| gavel â â? â?453 |
|
A project expo judging system ð |
| offix â â? â?189 |
 |
"Who is in the office?" ð |
| neuralâ?-â?style â â? â?5.5k |
|
Neural style in TensorFlow! ð¨ |
| obfuscatedâ?-â?gradients â â? â?885 |
 |
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples |
| neuralâ?-â?hashâ?-â?collider â â? â?671 |
|
Preimage attack against NeuralHash ð£ |
| ribosome â â? â?142 |
|
Synthesize photos from PhotoDNA using machine learning ð± |
| imagenetâ?-â?simpleâ?-â?labels â â? â?130 |
Simpler human-readable labels for ImageNet ð· | |
| cleanlabâ?/â?cleanlab â â? â?10.2k |
|
The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels. |
| porcupine â â? â?997 |
|
A fast linearizability checker written in Go ð |
| synox â â? â?27 |
 |
Rust library for program synthesis of string transformations from input-output examples ð® |
| gemini â â? â?1k |
 |
Gemini is a modern LaTex beamerposter theme ð¼ |
| auriga â â? â?359 |
|
Auriga is a minimalist LaTeX beamer presentation theme ð½ |
| ipr â â? â?3 |
 |
A formalization of information-preserving refinement (IPR) in the Coq Proof Assistant 𧩠|
| knox â â? â?33 |
 |
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities ð |
| knoxâ?-â?hsm â â? â?24 |
 |
Circuits and hardware security modules formally verified with Knox ð |
| chroniton â â? â?10 |
|
A tool for formally verifying constant-time software against hardware ð°ï¸ |
| rtlv â â? â?19 |
|
Tools for reasoning about circuits in Rosette/Racket ð |
| notary â â? â?28 |
|
Notary: A Device for Secure Transaction Approval ð |
| missingâ?-â?semesterâ?/â?missingâ?-â?semester â â? â?5.1k |
 |
The Missing Semester of Your CS Education ð |
| missingâ?-â?semesterâ?/â?videos â â? â?300 |
|
Lecture video processing scripts ð¥ |
| dcaiâ?-â?courseâ?/â?dcaiâ?-â?course â â? â?97 |
|
Introduction to Data-Centric AI, MIT IAP 2023 ð¤ |
| dcaiâ?-â?courseâ?/â?dcaiâ?-â?lab â â? â?449 |
|
Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 ð©ð½âð» |
| bijectionâ?/â?sistine â â? â?3.3k |
|
Turn a MacBook into a Touchscreen with $1 of Hardware |
| dotfiles â â? â?717 |
 |
~anish ⢠powered by https://github.com/anishathalye/dotbot ð¾ |
| dotfilesâ?-â?local â â? â?80 |
|
~anish [local config] â¢Â?powered by https://github.com/anishathalye/dotbot ð? |
| proofâ?-â?html â â? â?70 |
 |
A GitHub Action to validate HTML, check links, and more â |
| microâ?-â?wwvb â â? â?19 |
 |
A tiny WWVB station ð¡ |
| hubotâ?-â?group â â? â?26 |
 |
A hubot script that expands mentions of groups ð« |
| hubotâ?-â?shortcut â â? â?16 |
|
A macro system for hubot ð¨ |
| hubotâ?-â?conf â â? â?11 |
|
A simple configuration management system for hubot ð§ |
| bin2coe â â? â?14 |
|
A tool to convert binary files to COE files ð« |
| countdown â â? â?6 |
 |
A simple countdown timer you can set as your homepage â° |
| unblock â â? â?9 |
|
A tiny utility to make shell pipes behave as if they have unlimited buffering â¾ |
| assets â â? â?4 |
README assets for my GitHub projects ð |