仓库

anishathalye 的仓库

71 个支持的仓库

只显示包含已索引 issue 的仓库
anishathalye/CompCertCoq

The CompCert formally-verified C compiler

最近提交 2024年8月21日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/Guided-DenoisePython

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

最近提交 2018年6月21日

 (4 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/ai-agent-security-lecturePython

Guest lecture in MIT 6.566 on AI Agent Security

最近提交 2026年5月18日

 (22 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/anishathalyePython

A self-updating GitHub profile 🐯

最近提交 2026年6月5日

 (16 stars) (4 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/assets

README assets for my GitHub projects 🎭

最近提交 2026年5月18日

 (5 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/aurigaTeX

Auriga is a minimalist LaTeX beamer presentation theme 📽

最近提交 2025年2月1日

 (400 stars) (38 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/awesome-data-centric-aiJupyter Notebook

Data Centric AI resources

最近提交 2023年2月21日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/awesome-deep-learning

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

最近提交 2022年11月14日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/bin2coePython

A tool to convert binary files to COE files 💫

最近提交 2026年5月9日

 (18 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/chronitonRacket

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

最近提交 2025年2月1日

 (16 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/cleanlabPython

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

最近提交 2023年7月15日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/cleanlab-codexPython

Python client library to integrate Cleanlab Codex into RAG applications

最近提交 2025年3月14日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/cleanlab-studioPython

Command line interface for all things Cleanlab Studio

最近提交 2022年7月16日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/coqioaCoq

A formalization of IO automata in the Coq proof assistant

最近提交 2024年7月21日

 (5 stars) (3 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/countdownHTML

A simple countdown timer you can set as your homepage ⏰

最近提交 2021年12月15日

 (6 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/deterministic-start-benchmarkVerilog

最近提交 2021年6月18日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/disposableJavaScript

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

最近提交 2015年5月23日

 (22 stars) (5 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/dotbotPython

A tool that bootstraps your dotfiles ⚡️

最近提交 2023年9月27日

 (6,517 stars) (285 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/dotfilesShell

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

最近提交 2026年4月24日

 (754 stars) (270 forks) (0 个已索引 issue) (0 个开放 good first issue)
anishathalye/dotfiles-localShell

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

最近提交 2026年1月15日

 (82 stars) (16 forks) (0 个已索引 issue) (0 个开放 good first issue)