Repository

Repository di anishathalye

71 repository supportati

Mostra repository con issue indicizzate
anishathalye/CompCertCoq

The CompCert formally-verified C compiler

Ultimo commit 21 ago 2024

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/Guided-DenoisePython

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

Ultimo commit 21 giu 2018

 (4 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/ai-agent-security-lecturePython

Guest lecture in MIT 6.566 on AI Agent Security

Ultimo commit 18 mag 2026

 (22 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/anishathalyePython

A self-updating GitHub profile 🐯

Ultimo commit 5 giu 2026

 (16 star) (4 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/assets

README assets for my GitHub projects 🎭

Ultimo commit 18 mag 2026

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/aurigaTeX

Auriga is a minimalist LaTeX beamer presentation theme 📽

Ultimo commit 1 feb 2025

 (400 star) (38 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/awesome-data-centric-aiJupyter Notebook

Data Centric AI resources

Ultimo commit 21 feb 2023

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/awesome-deep-learning

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

Ultimo commit 14 nov 2022

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/bin2coePython

A tool to convert binary files to COE files 💫

Ultimo commit 9 mag 2026

 (18 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/chronitonRacket

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

Ultimo commit 1 feb 2025

 (16 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/cleanlabPython

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

Ultimo commit 15 lug 2023

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/cleanlab-codexPython

Python client library to integrate Cleanlab Codex into RAG applications

Ultimo commit 14 mar 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/cleanlab-studioPython

Command line interface for all things Cleanlab Studio

Ultimo commit 16 lug 2022

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/coqioaCoq

A formalization of IO automata in the Coq proof assistant

Ultimo commit 21 lug 2024

 (5 star) (3 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/countdownHTML

A simple countdown timer you can set as your homepage ⏰

Ultimo commit 15 dic 2021

 (6 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/disposableJavaScript

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

Ultimo commit 23 mag 2015

 (22 star) (5 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/dotbotPython

A tool that bootstraps your dotfiles ⚡️

Ultimo commit 27 set 2023

 (6517 star) (285 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/dotfilesShell

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

Ultimo commit 24 apr 2026

 (754 star) (270 fork) (0 issue indicizzate) (0 good first issue aperte)
anishathalye/dotfiles-localShell

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

Ultimo commit 15 gen 2026

 (82 star) (16 fork) (0 issue indicizzate) (0 good first issue aperte)