| dotbot ā ā ā 7.6k |
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 ā ā ā 411 |
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data š | |
| lumen ā ā ā 2.4k |
Magic auto brightness based on screen contents š” | |
| seashells ā ā ā 724 |
The official client for seashells.io š | |
| seashellsā -ā server ā ā ā 66 |
The seashells.io server š | |
| gavel ā ā ā 465 |
A project expo judging system š | |
| offix ā ā ā 191 |
"Who is in the office?" š |
| semlib ā ā ā 226 |
Build data processing and data analysis pipelines that leverage the power of LLMs š§ | |
| neuralā -ā style ā ā ā 5.5k |
Neural style in TensorFlow! šØ | |
| obfuscatedā -ā gradients ā ā ā 902 |
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples | |
| neuralā -ā hashā -ā collider ā ā ā 673 |
Preimage attack against NeuralHash š£ | |
| ribosome ā ā ā 146 |
Synthesize photos from PhotoDNA using machine learning š± | |
| imagenetā -ā simpleā -ā labels ā ā ā 140 |
Simpler human-readable labels for ImageNet š· | |
| cleanlabā /ā cleanlab ā ā ā 11k |
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 |
A fast linearizability checker written in Go š | |
| synox ā ā ā 27 |
Rust library for program synthesis of string transformations from input-output examples š® |
| gemini ā ā ā 1.1k |
Gemini is a modern LaTex beamerposter theme š¼ | |
| auriga ā ā ā 384 |
Auriga is a minimalist LaTeX beamer presentation theme š½ |
| ipr ā ā ā 4 |
A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant š§© | |
| knox ā ā ā 35 |
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities š | |
| knoxā -ā hsm ā ā ā 25 |
Circuits and hardware security modules formally verified with Knox š | |
| chroniton ā ā ā 12 |
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.3k |
The Missing Semester of Your CS Education š | |
| missingā -ā semesterā /ā videos ā ā ā 307 |
Lecture video processing scripts š„ | |
| dcaiā -ā courseā /ā dcaiā -ā course ā ā ā 103 |
Introduction to Data-Centric AI, MIT IAP 2024 š¤ | |
| dcaiā -ā courseā /ā dcaiā -ā lab ā ā ā 475 |
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 ā ā ā 741 |
~anish ā¢ powered by https://github.com/anishathalye/dotbot š¾ | |
| dotfilesā -ā local ā ā ā 82 |
~anish [local config] ā¢Ā powered by https://github.com/anishathalye/dotbot š | |
| proofā -ā html ā ā ā 100 |
A GitHub Action to validate HTML, check links, and more ā | |
| microā -ā wwvb ā ā ā 25 |
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 ā ā ā 16 |
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 š | |
| cleanlabā /ā officeā -ā presenceā -ā dashboard ā ā ā 4 |
100% vibe coded šāāļø | |
| anishathalye ā ā ā 15 |
A self-updating GitHub profile šÆ |