1-day longest streak
-
erigoneP ★ PINNED
The Erigone model checker with the Pomegranate compiler
Ada ★ 1 9y agoExplain → -
diplomat-experiments ★ PINNED
Source code for my Diplomat paper
Python ★ 1 9y agoExplain → -
mercury-experiments ★ PINNED
Source code for my Mercury paper
Python ★ 2 9y agoExplain → -
sizeof-uptane ★ PINNED
An approximate computer of Uptane metadata size
Python ★ 1 9y agoExplain → -
amnesia ⑂
Amnesia for Twitter automatically deletes tweets and likes that are older than a specified number of days.
Python ★ 6 3y agoExplain → -
remote_viewing ▣
Detonate a website remotely instead of locally
Python ★ 4 6y agoExplain → -
multiblockpir
Multi-block private information retrieval (MB-PIR)
C ★ 4 9y agoExplain → -
nyu-tandon-phd-thesis-template
LaTeX thesis template for NYU Tandon School of Engineering
TeX ★ 3 9y agoExplain → -
notebooks
Random Jupyter notebooks
Jupyter Notebook ★ 3 9y agoExplain → -
awesome-identity-plantuml ⑂
A whole bunch of PlantUML Flows Supporting Identity and Access Management Processes
★ 1 4y agoExplain → -
slsa ⑂
Supply-chain Levels for Software Artifacts
★ 0 9mo agoExplain → -
attestation-verifier ⑂
Prototype in-toto attestation verifier based on ITE-10 and ITE-11 layouts
Go ★ 0 9mo agoExplain → -
lab4-template ⑂
PSSCS Fall 2024
Python ★ 0 1y agoExplain → -
ITE ⑂
in-toto Enhancements
★ 0 2y agoExplain → -
pip ⑂
A tool for installing and managing Python packages
Python ★ 0 12y agoExplain → -
dotfiles
No description.
VimL ★ 0 12y agoExplain → -
about-firefox-crashes
Simple program to analyse Firefox crash reports
Python ★ 0 12y agoExplain →
No repos match these filters.
More creators on gitmyhub
standardgalactic AlexTheAnalyst MorvanZhou cloudwu kenjinote