Popular repositories Loading

1. FootPath FootPath Public

   Infrastructureless indoor navigation for smart phones

   Java 91 49

2. ALC-NG ALC-NG Public

   A modern LaTeX sanitization tool for arXiv submissions. Strips unused files, comments, conditionals, and metadata while preserving the same output pdf.

   Rust 40 3

3. msf-opcua msf-opcua Public

   Metasploit Modules for OPC UA

   Python 35 13

4. pie-for-tofino pie-for-tofino Public

   Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.

   P4 15 2

5. SymbolicLivenessAnalysis SymbolicLivenessAnalysis Public

   Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)

   C++ 12 1

6. mcBERT mcBERT Public

   Implementation of mcBERT, our method for patient-level single-cell transcriptomics data representation

   Python 9 3