kalatestimine/multicompiler-clang
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
MPI based algorithm for detecting high centrality vertices in large graphs
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
A replicated database with a formally-verified implementation of Paxos
High-Performance Graph Primitives on GPUs