-
-
lumen Public
Magic auto brightness based on screen contents 💡
-
ipr Public
A formalization of information-preserving refinement (IPR) in the Rocq Proof Assistant 🧩
-
gavel Public
A project expo judging system 📊
-
neural-style Public
Neural style in TensorFlow! 🎨
-
bin2coe Public
A tool to convert binary files to COE files 💫
-
seashells Public
The official client for seashells.io 🐚
-
git-remote-dropbox Public
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
-
dotbot Public
A tool that bootstraps your dotfiles ⚡️
-
-
gemini Public
Gemini is a modern LaTex beamerposter theme 🖼
-
periscope Public
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
-
porcupine Public
A fast linearizability checker written in Go 🔎
-
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedMay 16, 2025 -
proof-html Public
A GitHub Action to validate HTML, check links, and more ✅
-
-
dotfiles-local Public
~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠
-
linux-bootstrap Public
get a debian-based system set up the way I like it, with minimal effort on my part
17 UpdatedApr 20, 2025 -
cleanlab-codex Public
Forked from cleanlab/cleanlab-codexPython client library to integrate Cleanlab Codex into RAG applications
Python MIT License UpdatedMar 17, 2025 -
unblock Public
A tiny utility to make shell pipes behave as if they have unlimited buffering ♾
-
notary Public
Notary: A Device for Secure Transaction Approval 📟
-
dotfiles Public
~anish • powered by https://github.com/anishathalye/dotbot 💾
-
rtlv Public
Tools for reasoning about circuits in Rosette/Racket 🔌
-
chroniton Public
A tool for formally verifying constant-time software against hardware 🕰️
-
knox-hsm Public
Circuits and hardware security modules formally verified with Knox 🔐
-
knox Public
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
-
auriga Public
Auriga is a minimalist LaTeX beamer presentation theme 📽
-
synox Public
Rust library for program synthesis of string transformations from input-output examples 🔮
-
ribosome Public
Synthesize photos from PhotoDNA using machine learning 🌱
-
imagenet-simple-labels Public
Simpler human-readable labels for ImageNet 🏷
{{ message }}