Repositories

anishathalye repositories

71 supported repositories

Show repositories with indexed issues
anishathalye/CompCertCoq

The CompCert formally-verified C compiler

Last commit Aug 21, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/Guided-DenoisePython

Breaking High-level representation Guided Denoiser (Liao et al. 2018)

Last commit Jun 21, 2018

 (4 stars) (2 forks) (0 indexed issues) (0 open good first issues)
anishathalye/ai-agent-security-lecturePython

Guest lecture in MIT 6.566 on AI Agent Security

Last commit May 18, 2026

 (22 stars) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/anishathalyePython

A self-updating GitHub profile 🐯

Last commit Jun 5, 2026

 (16 stars) (4 forks) (0 indexed issues) (0 open good first issues)
anishathalye/assets

README assets for my GitHub projects 🎭

Last commit May 18, 2026

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/aurigaTeX

Auriga is a minimalist LaTeX beamer presentation theme 📽

Last commit Feb 1, 2025

 (400 stars) (38 forks) (0 indexed issues) (0 open good first issues)
anishathalye/awesome-data-centric-aiJupyter Notebook

Data Centric AI resources

Last commit Feb 21, 2023

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/awesome-deep-learning

A curated list of awesome Deep Learning tutorials, projects and communities.

Last commit Nov 14, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/bin2coePython

A tool to convert binary files to COE files 💫

Last commit May 9, 2026

 (18 stars) (1 fork) (0 indexed issues) (0 open good first issues)
anishathalye/chronitonRacket

A tool for formally verifying constant-time software against hardware 🕰️

Last commit Feb 1, 2025

 (16 stars) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/cleanlabPython

The standard package for machine learning with noisy labels, finding mislabeled data, and uncertainty quantification. Works with most datasets and models.

Last commit Jul 15, 2023

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/cleanlab-codexPython

Python client library to integrate Cleanlab Codex into RAG applications

Last commit Mar 14, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/cleanlab-studioPython

Command line interface for all things Cleanlab Studio

Last commit Jul 16, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
anishathalye/coqioaCoq

A formalization of IO automata in the Coq proof assistant

Last commit Jul 21, 2024

 (5 stars) (3 forks) (0 indexed issues) (0 open good first issues)
anishathalye/countdownHTML

A simple countdown timer you can set as your homepage ⏰

Last commit Dec 15, 2021

 (6 stars) (1 fork) (0 indexed issues) (0 open good first issues)
anishathalye/disposableJavaScript

Create a Reddit throwaway account with the click of a button! 🚮

Last commit May 23, 2015

 (22 stars) (5 forks) (0 indexed issues) (0 open good first issues)
anishathalye/dotbotPython

A tool that bootstraps your dotfiles ⚡️

Last commit Sep 27, 2023

 (6,517 stars) (285 forks) (0 indexed issues) (0 open good first issues)
anishathalye/dotfilesShell

~anish • powered by https://github.com/anishathalye/dotbot 💾

Last commit Apr 24, 2026

 (754 stars) (270 forks) (0 indexed issues) (0 open good first issues)
anishathalye/dotfiles-localShell

~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠

Last commit Jan 15, 2026

 (82 stars) (16 forks) (0 indexed issues) (0 open good first issues)