| dotbot ★�? �?7.0k |
 |
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 ★�? �?379 |
 |
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 ★�? �?708 |
|
The official client for seashells.io 🐚 |
| seashells�?-�?server ★�? �?54 |
|
The seashells.io server 🐚 |
| gavel ★�? �?432 |
|
A project expo judging system 📊 |
| offix ★�? �?186 |
 |
"Who is in the office?" 👀 |
| neural�?-�?style ★�? �?5.5k |
|
Neural style in TensorFlow! 🎨 |
| obfuscated�?-�?gradients ★�? �?881 |
 |
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples |
| neural�?-�?hash�?-�?collider ★�? �?664 |
|
Preimage attack against NeuralHash 💣 |
| ribosome ★�? �?141 |
|
Synthesize photos from PhotoDNA using machine learning 🌱 |
| imagenet�?-�?simple�?-�?labels ★�? �?122 |
Simpler human-readable labels for ImageNet 🏷 | |
| cleanlab�?/�?cleanlab ★�? �?9.4k |
|
The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels. |
| porcupine ★�? �?882 |
|
A fast linearizability checker written in Go 🔎 |
| synox ★�? �?26 |
 |
Rust library for program synthesis of string transformations from input-output examples 🔮 |
| gemini ★�? �?982 |
 |
Gemini is a modern LaTex beamerposter theme 🖼 |
| auriga ★�? �?328 |
|
Auriga is a minimalist LaTeX beamer presentation theme 📽 |
| ipr ★�? �?2 |
 |
A formalization of information-preserving refinement (IPR) in the Coq Proof Assistant 🧩 |
| knox ★�? �?29 |
 |
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏 |
| knox�?-�?hsm ★�? �?23 |
 |
Circuits and hardware security modules formally verified with Knox 🔐 |
| chroniton ★�? �?10 |
|
A tool for formally verifying constant-time software against hardware 🕰️ |
| rtlv ★�? �?18 |
|
Tools for reasoning about circuits in Rosette/Racket 🔌 |
| notary ★�? �?28 |
|
Notary: A Device for Secure Transaction Approval 📟 |
| missing�?-�?semester�?/�?missing�?-�?semester ★�? �?4.9k |
 |
The Missing Semester of Your CS Education 📚 |
| missing�?-�?semester�?/�?videos ★�? �?298 |
|
Lecture video processing scripts 🎥 |
| dcai�?-�?course�?/�?dcai�?-�?course ★�? �?96 |
|
Introduction to Data-Centric AI, MIT IAP 2023 🤖 |
| dcai�?-�?course�?/�?dcai�?-�?lab ★�? �?419 |
|
Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 👩🏽💻 |
| bijection�?/�?sistine ★�? �?3.2k |
|
Turn a MacBook into a Touchscreen with $1 of Hardware |
| dotfiles ★�? �?704 |
 |
~anish • powered by https://github.com/anishathalye/dotbot 💾 |
| dotfiles�?-�?local ★�? �?75 |
|
~anish [local config] •�?powered by https://github.com/anishathalye/dotbot �? |
| proof�?-�?html ★�? �?57 |
 |
A GitHub Action to validate HTML, check links, and more ✅ |
| micro�?-�?wwvb ★�? �?17 |
 |
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 ★�? �?5 |
 |
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 🎭 |