| dotbot ā ā ā 8k |
 |
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 ā ā ā 429 |
 |
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 ā ā ā 726 |
|
The official client for seashells.io š |
| seashellsā -ā server ā ā ā 69 |
|
The seashells.io server š |
| gavel ā ā ā 487 |
|
A project expo judging system š |
| offix ā ā ā 192 |
 |
"Who is in the office?" š |
| semlib ā ā ā 261 |
|
Build data processing and data analysis pipelines that leverage the power of LLMs š§ |
| neuralā -ā style ā ā ā 5.5k |
|
Neural style in TensorFlow! šØ |
| obfuscatedā -ā gradients ā ā ā 911 |
 |
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples |
| neuralā -ā hashā -ā collider ā ā ā 674 |
|
Preimage attack against NeuralHash š£ |
| ribosome ā ā ā 157 |
|
Synthesize photos from PhotoDNA using machine learning š§¬ |
| imagenetā -ā simpleā -ā labels ā ā ā 148 |
Simpler human-readable labels for ImageNet š· | |
| cleanlabā /ā cleanlab ā ā ā 11.6k |
|
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.2k |
|
A fast linearizability checker written in Go š |
| synox ā ā ā 28 |
 |
Rust library for program synthesis of string transformations from input-output examples š® |
| gemini ā ā ā 1.3k |
 |
Gemini is a modern LaTex beamerposter theme š¼ |
| auriga ā ā ā 404 |
|
Auriga is a minimalist LaTeX beamer presentation theme š½ |
| ipr ā ā ā 7 |
 |
A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant š§© |
| knox ā ā ā 42 |
 |
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities š |
| knoxā -ā hsm ā ā ā 27 |
 |
Circuits and hardware security modules formally verified with Knox š |
| chroniton ā ā ā 16 |
|
A tool for formally verifying constant-time software against hardware š°ļø |
| rtlv ā ā ā 19 |
|
Tools for reasoning about circuits in Rosette/Racket š |
| notary ā ā ā 30 |
|
Notary: A Device for Secure Transaction Approval š |
| missingā -ā semesterā /ā missingā -ā semester ā ā ā 6k |
 |
The Missing Semester of Your CS Education š |
| missingā -ā semesterā /ā videos ā ā ā 355 |
|
Lecture video processing scripts š„ |
| dcaiā -ā courseā /ā dcaiā -ā course ā ā ā 109 |
|
Introduction to Data-Centric AI, MIT IAP 2024 š¤ |
| dcaiā -ā courseā /ā dcaiā -ā lab ā ā ā 484 |
|
Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 š©š½āš» |
| bijectionā /ā sistine ā ā ā 3.4k |
|
Turn a MacBook into a Touchscreen with $1 of Hardware |
| dotfiles ā ā ā 757 |
 |
~anish ā¢ powered by https://github.com/anishathalye/dotbot š¾ |
| dotfilesā -ā local ā ā ā 83 |
|
~anish [local config] ā¢ powered by https://github.com/anishathalye/dotbot š |
| proofā -ā html ā ā ā 133 |
 |
A GitHub Action to validate HTML, check links, and more ā |
| microā -ā wwvb ā ā ā 27 |
 |
A tiny WWVB station š” |
| Handshakeā -ā AIā -ā Researchā /ā gandalfā -ā theā -ā grader ā ā ā 54 |
|
Agent-as-a-Judge grading framework for evaluating AI outputs/deliverables |
| Handshakeā -ā AIā -ā Researchā /ā bankertoolbench ā ā ā 44 |
|
AI Benchmark for Investment Banking Workflows |
| hubotā -ā group ā ā ā 25 |
 |
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 ā ā ā 18 |
|
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 ā¾ |
| aiā -ā agentā -ā securityā -ā lecture ā ā ā 30 |
|
Guest lecture in MIT 6.566 on AI Agent Security |
| assets ā ā ā 5 |
README assets for my GitHub projects š | |
| cleanlabā /ā officeā -ā presenceā -ā dashboard ā ā ā 11 |
 |
100% vibe coded šāāļø |
| anishathalye ā ā ā 17 |
|
A self-updating GitHub profile šÆ |