| dotbot ★ 7.8k |
Python | A tool that bootstraps your dotfiles ⚡️ |
| git-remote-dropbox ★ 3.1k |
Python | A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁 |
| periscope ★ 415 |
Go | Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭 |
| lumen ★ 2.4k |
Objective-C | Magic auto brightness based on screen contents 💡 |
| seashells ★ 724 |
Python | The official client for seashells.io 🐚 |
| seashells-server ★ 67 |
Go | The seashells.io server 🐚 |
| gavel ★ 474 |
Python | A project expo judging system 📊 |
| offix ★ 192 |
JavaScript | "Who is in the office?" 👀 |
| semlib ★ 250 |
Python | Build data processing and data analysis pipelines that leverage the power of LLMs 🧠 |
| neural-style ★ 5.5k |
Python | Neural style in TensorFlow! 🎨 |
| obfuscated-gradients ★ 906 |
Jupyter Notebook | Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples |
| neural-hash-collider ★ 673 |
Python | Preimage attack against NeuralHash 💣 |
| ribosome ★ 149 |
Python | Synthesize photos from PhotoDNA using machine learning 🌱 |
| imagenet-simple-labels ★ 144 |
Simpler human-readable labels for ImageNet 🏷 | |
| cleanlab/cleanlab ★ 11.3k |
Python | Cleanlab's open-source library is the standard data-centric AI package for data quality and machine learning with messy, real-world data and labels. |
| porcupine ★ 1.1k |
Go | A fast linearizability checker written in Go 🔎 |
| synox ★ 28 |
Rust | Rust library for program synthesis of string transformations from input-output examples 🔮 |
| gemini ★ 1.2k |
TeX | Gemini is a modern LaTex beamerposter theme 🖼 |
| auriga ★ 395 |
TeX | Auriga is a minimalist LaTeX beamer presentation theme 📽 |
| ipr ★ 5 |
Rocq Prover | A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant 🧩 |
| knox ★ 40 |
Racket | A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏 |
| knox-hsm ★ 27 |
Verilog | Circuits and hardware security modules formally verified with Knox 🔐 |
| chroniton ★ 14 |
Racket | A tool for formally verifying constant-time software against hardware 🕰️ |
| rtlv ★ 19 |
Racket | Tools for reasoning about circuits in Rosette/Racket 🔌 |
| notary ★ 28 |
Verilog | Notary: A Device for Secure Transaction Approval 📟 |
| missing-semester/missing-semester ★ 5.5k |
CSS | The Missing Semester of Your CS Education 📚 |
| missing-semester/videos ★ 328 |
Python | Lecture video processing scripts 🎥 |
| dcai-course/dcai-course ★ 106 |
CSS | Introduction to Data-Centric AI, MIT IAP 2024 🤖 |
| dcai-course/dcai-lab ★ 478 |
Jupyter Notebook | Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 👩🏽💻 |
| bijection/sistine ★ 3.3k |
Python | Turn a MacBook into a Touchscreen with 1ドル of Hardware |
| dotfiles ★ 752 |
Shell | ~anish • powered by https://github.com/anishathalye/dotbot 💾 |
| dotfiles-local ★ 82 |
Shell | ~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠 |
| proof-html ★ 113 |
Ruby | A GitHub Action to validate HTML, check links, and more ✅ |
| micro-wwvb ★ 27 |
C | A tiny WWVB station 📡 |
| hubot-group ★ 26 |
CoffeeScript | A hubot script that expands mentions of groups 👫 |
| hubot-shortcut ★ 16 |
JavaScript | A macro system for hubot 💨 |
| hubot-conf ★ 11 |
JavaScript | A simple configuration management system for hubot 🔧 |
| bin2coe ★ 17 |
Python | A tool to convert binary files to COE files 💫 |
| countdown ★ 6 |
HTML | A simple countdown timer you can set as your homepage ⏰ |
| unblock ★ 9 |
Go | A tiny utility to make shell pipes behave as if they have unlimited buffering ♾ |
| assets ★ 4 |
README assets for my GitHub projects 🎭 | |
| cleanlab/office-presence-dashboard ★ 4 |
TypeScript | 100% vibe coded 🏄♂️ |
| anishathalye ★ 15 |
Python | A self-updating GitHub profile 🐯 |