PinnedLoading

1. uber-go/nilawayuber-go/nilawayPublic

   Static analysis tool to detect potential nil panics in Go code

   Go 3.3k 72

2. uber-research/last-diff-analyzeruber-research/last-diff-analyzerPublic

   A multi-language tool for checking semantic equivalence for code

   Go 6 1

3. cmla-psu/statdpcmla-psu/statdpPublic

   Statistical Counterexample Detector for Differential Privacy

   Python 28 16

4. cmla-psu/dpgencmla-psu/dpgenPublic

   Proof-of-Concept automated program synthesizer for (pure) differential privacy.

   Python 4

5. MIPS-CPUMIPS-CPUPublic

   A Simulative MIPS CPU running on Logisim.

   Assembly 128 22

6. aioapcaccessaioapcaccessPublic

   An asyncio implementation of apcaccess

   Python 2