-
gemini Public
Gemini is a modern LaTex beamerposter theme 🖼
-
-
dotfiles-local Public
~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠
-
-
periscope Public
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
-
auriga Public
Auriga is a minimalist LaTeX beamer presentation theme 📽
-
proof-html Public
A GitHub Action to validate HTML, check links, and more ✅
-
ribosome Public
Synthesize photos from PhotoDNA using machine learning 🌱
-
ipr Public
A formalization of information-preserving refinement (IPR) in the Coq Proof Assistant 🧩
-
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedAug 21, 2024 -
hacl-star Public
Forked from hacl-star/hacl-starHACL*, a formally verified cryptographic library written in F*
-
dotfiles Public
~anish • powered by https://github.com/anishathalye/dotbot 💾
-
rtlv Public
Tools for reasoning about circuits in Rosette/Racket 🔌
-
gavel Public
A project expo judging system 📊
-
coqioa Public
A formalization of IO automata in the Coq proof assistant
-
-
cleanlab Public
Forked from cleanlab/cleanlabThe standard package for machine learning with noisy labels, finding mislabeled data, and uncertainty quantification. Works with most datasets and models.
Python GNU Affero General Public License v3.0 UpdatedJul 5, 2024 -
dotbot Public
A tool that bootstraps your dotfiles ⚡️
-
synox Public
Rust library for program synthesis of string transformations from input-output examples 🔮
-
bin2coe Public
A tool to convert binary files to COE files 💫
-
porcupine Public
A fast linearizability checker written in Go 🔎
-
cleanlab-studio Public
Forked from cleanlab/cleanlab-studioCommand line interface for all things Cleanlab Studio
-
knox-hsm Public
Circuits and hardware security modules formally verified with Knox 🔐
-
git-remote-dropbox Public
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
-
imagenet-simple-labels Public
Simpler human-readable labels for ImageNet 🏷
-
chroniton Public
A tool for formally verifying constant-time software against hardware 🕰️
-
knox Public
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
-
pyyaml Public
Forked from yaml/pyyamlreminder to self: DO NOT DELETE THIS REPO; old versions of Dotbot depend on it
-
{{ message }}