3-day current streak·9-day longest streak
Apps | | | | |---|---|---| | dotbot ★ 8k | | A tool that bootstraps your dotfiles ⚡️ | | git-remote-dropbox ★ 3.1k | | A transparent bridge between…
Apps
| | | |
|---|---|---|
| dotbot ★ 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 ★ 421 | !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 ★ 727 | !Python | The official client for seashells.io 🐚 |
| seashells-server ★ 69 | !Go | The seashells.io server 🐚 |
| gavel ★ 486 | !Python | A project expo judging system 📊 |
| offix ★ 193 | !JavaScript | "Who is in the office?" 👀 |
Machine Learning
| | | |
|---|---|---|
| semlib ★ 262 | !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 ★ 910 | !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 ★ 153 | !Python | Synthesize photos from PhotoDNA using machine learning 🧬 |
| imagenet-simple-labels ★ 148 | | Simpler human-readable labels for ImageNet 🏷 |
| cleanlab/cleanlab ★ 11.5k | !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. |
Libraries
| | | |
|---|---|---|
| porcupine ★ 1.2k | !Go | A fast linearizability checker written in Go 🔎 |
| synox ★ 28 | !Rust | Rust library for program synthesis of string transformations from input-output examples 🔮 |
Design
| | | |
|---|---|---|
| gemini ★ 1.2k | !TeX | Gemini is a modern LaTex beamerposter theme 🖼 |
| auriga ★ 399 | !TeX | Auriga is a minimalist LaTeX beamer presentation theme 📽 |
Formal Verification
| | | |
|---|---|---|
| ipr ★ 6 | !Rocq Prover | A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant 🧩 |
| knox ★ 42 | !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 ★ 16 | !Racket | A tool for formally verifying constant-time software against hardware 🕰️ |
| rtlv ★ 20 | !Racket | Tools for reasoning about circuits in Rosette/Racket 🔌 |
| notary ★ 30 | !Verilog | Notary: A Device for Secure Transaction Approval 📟 |
Misc
| | | |
|---|---|---|
| missing-semester/missing-semester ★ 5.9k | !CSS | The Missing Semester of Your CS Education 📚 |
| missing-semester/videos ★ 353 | !Python | Lecture video processing scripts 🎥 |
| dcai-course/dcai-course ★ 108 | !CSS | Introduction to Data-Centric AI, MIT IAP 2024 🤖 |
| dcai-course/dcai-lab ★ 481 | !Jupyter Notebook | Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 👩🏽💻 |
| bijection/sistine ★ 3.4k | !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 ★ 123 | !Ruby | A GitHub Action to validate HTML, check links, and more ✅ |
| micro-wwvb ★ 27 | !C | A tiny WWVB station 📡 |
| hubot-group ★ 25 | !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 ★ 18 | !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 ♾ |
| ai-agent-security-lecture ★ 29 | !Python | Guest lecture in MIT 6.566 on AI Agent Security |
| assets ★ 5 | | README assets for my GitHub projects 🎭 |
| cleanlab/office-presence-dashboard ★ 9 | !TypeScript | 100% vibe coded 🏄♂️ |
| anishathalye ★ 17 | !Python | A self-updating GitHub profile 🐯 |
-
neural-style ★ PINNED
Neural style in TensorFlow! 🎨
Python ★ 5.5k 2mo agoExplain → -
dotbot ★ PINNED
A tool that bootstraps your dotfiles ⚡️
Python ★ 8.0k 1d agoExplain → -
git-remote-dropbox ★ PINNED
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
Python ★ 3.1k 4h agoExplain → -
neural-hash-collider ★ PINNED
Preimage attack against NeuralHash 💣
Python ★ 673 9mo agoExplain → -
periscope ★ PINNED
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
Go ★ 421 10mo agoExplain → -
gemini ★ PINNED
Gemini is a modern LaTex beamerposter theme 🖼
TeX ★ 1.3k 1mo agoExplain → -
lumen
Magic auto brightness based on screen contents 💡
Objective-C ★ 2.4k 1y agoExplain → -
porcupine
A fast linearizability checker written in Go 🔎
Go ★ 1.2k 11h agoExplain → -
obfuscated-gradients
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples
Jupyter Notebook ★ 911 3y agoExplain → -
dotfiles
~anish • powered by https://github.com/anishathalye/dotbot 💾
Shell ★ 752 2d agoExplain → -
seashells
The official client for seashells.io 🐚
Python ★ 727 2d agoExplain → -
gavel
A project expo judging system 📊
Python ★ 486 4mo agoExplain → -
auriga
Auriga is a minimalist LaTeX beamer presentation theme 📽
TeX ★ 399 1y agoExplain → -
semlib
Build data processing and data analysis pipelines that leverage the power of LLMs 🧠
Python ★ 262 2d agoExplain → -
dotfiles_template
A template for structuring dotfiles (using Dotbot as an installer) 📜
PowerShell ★ 203 10mo agoExplain → -
offix
"Who is in the office?" 👀
JavaScript ★ 193 3y agoExplain → -
ribosome
Synthesize photos from PhotoDNA using machine learning 🧬
Python ★ 153 9mo agoExplain → -
imagenet-simple-labels
Simpler human-readable labels for ImageNet 🏷
★ 148 1y agoExplain → -
proof-html
A GitHub Action to validate HTML, check links, and more ✅
Ruby ★ 123 5mo agoExplain → -
dotfiles-local
~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠
Shell ★ 82 16h agoExplain → -
mathematics-of-deep-learning
The Mathematics of Deep Learning, SIPB IAP 2018
Jupyter Notebook ★ 75 5y agoExplain → -
seashells-server
The seashells.io server 🐚
Go ★ 69 9mo agoExplain → -
knox
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
Racket ★ 42 6mo agoExplain → -
notary
Notary: A Device for Secure Transaction Approval 📟
Verilog ★ 30 1y agoExplain → -
ai-agent-security-lecture
Guest lecture in MIT 6.566 on AI Agent Security
Python ★ 29 1mo agoExplain → -
synox
Rust library for program synthesis of string transformations from input-output examples 🔮
Rust ★ 28 1y agoExplain → -
micro-wwvb
A tiny WWVB station 📡
C ★ 27 10mo agoExplain → -
knox-hsm
Circuits and hardware security modules formally verified with Knox 🔐
Verilog ★ 27 1y agoExplain → -
hubot-group
A hubot script that expands mentions of groups 👫
CoffeeScript ★ 25 3y agoExplain → -
disposable
Create a Reddit throwaway account with the click of a button! 🚮
JavaScript ★ 22 5y agoExplain → -
rtlv
Tools for reasoning about circuits in Rosette/Racket 🔌
Racket ★ 20 1y agoExplain → -
skipchat
SkipChat - MHacks V
C ★ 19 10y agoExplain → -
bin2coe
A tool to convert binary files to COE files 💫
Python ★ 18 2d agoExplain → -
anishathalye
A self-updating GitHub profile 🐯
Python ★ 17 23h agoExplain → -
linux-bootstrap
get a debian-based system set up the way I like it, with minimal effort on my part
★ 17 1y agoExplain → -
chroniton
A tool for formally verifying constant-time software against hardware 🕰️
Racket ★ 16 1y agoExplain → -
hubot-shortcut
A macro system for hubot 💨
JavaScript ★ 16 3y agoExplain → -
gitlive
the source code that powered gitlive.net
Java ★ 11 10y agoExplain → -
hubot-conf
A simple configuration management system for hubot 🔧
JavaScript ★ 11 3y agoExplain → -
unblock
A tiny utility to make shell pipes behave as if they have unlimited buffering ♾
Go ★ 9 1y agoExplain → -
ipr
A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant 🧩
Rocq Prover ★ 6 1y agoExplain → -
countdown
A simple countdown timer you can set as your homepage ⏰
HTML ★ 6 4y agoExplain → -
assets
README assets for my GitHub projects 🎭
★ 5 1mo agoExplain → -
coqioa
A formalization of IO automata in the Coq proof assistant
Coq ★ 5 1y agoExplain → -
Guided-Denoise ⑂
Breaking High-level representation Guided Denoiser (Liao et al. 2018)
Python ★ 4 8y agoExplain → -
x
playground for testing stuff on github
★ 4 1y agoExplain → -
learn-pgp
Slides from the SIPB Cluedump on PGP
HTML ★ 3 9y agoExplain → -
easy-security
Slides from the SIPB Cluedump on Low Effort High Impact Security
HTML ★ 3 9y agoExplain → -
parfait-hsm
No description.
Racket ★ 2 1y agoExplain → -
deterministic-start-benchmark
No description.
Verilog ★ 2 5y agoExplain → -
learn-git
An introduction to using Git - prepared for HackMIT / Hack Week 2015
HTML ★ 2 10y agoExplain → -
pixel-deflection ⑂
Deflecting Adversarial Attacks with Pixel Deflection (security analysis)
Jupyter Notebook ★ 2 8y agoExplain → -
formal-methods-tutorial-2022-10-11
No description.
Racket ★ 1 3y agoExplain → -
cleanlab ⑂
The standard package for machine learning with noisy labels, finding mislabeled data, and uncertainty quantification. Works with most datasets and models.
Python ★ 1 2y agoExplain → -
awesome-data-centric-ai ⑂
Data Centric AI resources
★ 1 3y agoExplain → -
cleanlab-studio ⑂
Command line interface for all things Cleanlab Studio
★ 1 2y agoExplain → -
hacl-star ⑂
HACL*, a formally verified cryptographic library written in F*
★ 1 1y agoExplain → -
dotfiles.github.com ⑂
Your unofficial guide to doing dotfiles on GitHub.
Sass ★ 1 3y agoExplain → -
pyyaml ⑂
reminder to self: DO NOT DELETE THIS REPO; old versions of Dotbot depend on it
Python ★ 1 2y agoExplain → -
awesome-deep-learning ⑂
A curated list of awesome Deep Learning tutorials, projects and communities.
★ 1 3y agoExplain → -
picorv32 ⑂
PicoRV32 - A Size-Optimized RISC-V CPU
★ 1 6y agoExplain → -
harbor ⑂
Harbor is a framework for running agent evaluations and creating and using RL environments.
Python ★ 0 2mo agoExplain → -
rust-sdk ⑂
The official Rust SDK for the Model Context Protocol
Rust ★ 0 4mo agoExplain → -
rosette ⑂
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
★ 0 1y agoExplain → -
scripts
No description.
Python ★ 0 1y agoExplain → -
cleanlab-codex ⑂
Python client library to integrate Cleanlab Codex into RAG applications
★ 0 1y agoExplain → -
starling
No description.
★ 0 1y agoExplain → -
CompCert ⑂
The CompCert formally-verified C compiler
★ 0 1y agoExplain → -
xclips
No description.
Rust ★ 0 3y agoExplain → -
relay-assignment
No description.
Python ★ 0 7y agoExplain → -
hubot-keybase ⑂
A Hubot adapter for Keybase bot development
JavaScript ★ 0 6y agoExplain →
No repos match these filters.