Owner
anishathalye
7 indexierte Repositories · Auf GitHub ansehen
-
dotbot
A tool that bootstraps your dotfiles ⚡️
Python · 8002 Sterne
-
git-remote-dropbox
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
Python · 3139 Sterne
-
gemini
Gemini is a modern LaTex beamerposter theme 🖼
TeX · 1276 Sterne
-
porcupine
A fast linearizability checker written in Go 🔎
Go · 1246 Sterne
-
gavel
A project expo judging system 📊
Python · 487 Sterne
-
periscope
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
Go · 429 Sterne
-
knox
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
Racket · 42 Sterne
-
Windows support Offenenhancement
anishathalye/periscope#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/periscope#13 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/knox#1 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/gavel#81 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/gavel#117 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/gavel#120 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
LFS support? Offen
anishathalye/git-remote-dropbox#111 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
anishathalye/gemini#28 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
anishathalye/gemini#29 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
anishathalye/gemini#30 · 0 Kommentare · 3 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
anishathalye/gemini#32 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
anishathalye/gemini#38 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
anishathalye/gemini#44 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Named groups of tasks Offenenhancement
anishathalye/dotbot#81 · 10 Kommentare · 7 Reaktionen · 0 zugewiesene Personen ·
-
Add copy config option Offenenhancement
anishathalye/dotbot#128 · 16 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Allow `if` on tasks Offen
anishathalye/dotbot#225 · 6 Kommentare · 3 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#312 · 3 Kommentare · 2 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#325 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#333 · 0 Kommentare · 4 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#355 · 1 Kommentar · 4 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#366 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#381 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/dotbot#392 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/porcupine#34 · 11 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anishathalye/porcupine#35 · 6 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·