オーナー
anishathalye
索引済みのリポジトリ 7 件 · GitHub で見る
-
dotbot
A tool that bootstraps your dotfiles ⚡️
Python · スター 8002 個
-
git-remote-dropbox
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
Python · スター 3139 個
-
gemini
Gemini is a modern LaTex beamerposter theme 🖼
TeX · スター 1276 個
-
porcupine
A fast linearizability checker written in Go 🔎
Go · スター 1246 個
-
gavel
A project expo judging system 📊
Python · スター 487 個
-
periscope
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
Go · スター 429 個
-
knox
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
Racket · スター 42 個
-
Windows support オープンenhancement
anishathalye/periscope#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/periscope#13 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/knox#1 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/gavel#81 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/gavel#117 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/gavel#120 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
LFS support? オープン
anishathalye/git-remote-dropbox#111 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
anishathalye/gemini#28 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
anishathalye/gemini#29 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
anishathalye/gemini#30 · コメント 0 件 · リアクション 3 件 · 担当者 0 名 ·
-
enhancement help wanted
anishathalye/gemini#32 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
anishathalye/gemini#38 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
anishathalye/gemini#44 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement
anishathalye/dotbot#81 · コメント 10 件 · リアクション 7 件 · 担当者 0 名 ·
-
enhancement
anishathalye/dotbot#128 · コメント 16 件 · リアクション 0 件 · 担当者 0 名 ·
-
Allow `if` on tasks オープン
anishathalye/dotbot#225 · コメント 6 件 · リアクション 3 件 · 担当者 0 名 ·
-
anishathalye/dotbot#312 · コメント 3 件 · リアクション 2 件 · 担当者 0 名 ·
-
anishathalye/dotbot#325 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/dotbot#333 · コメント 0 件 · リアクション 4 件 · 担当者 0 名 ·
-
anishathalye/dotbot#355 · コメント 1 件 · リアクション 4 件 · 担当者 0 名 ·
-
anishathalye/dotbot#366 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/dotbot#381 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/dotbot#392 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/porcupine#34 · コメント 11 件 · リアクション 0 件 · 担当者 0 名 ·
-
anishathalye/porcupine#35 · コメント 6 件 · リアクション 0 件 · 担当者 0 名 ·