kalatestimine/multicompiler
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.
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.
A replicated database with a formally-verified implementation of Paxos
MPI based algorithm for detecting high centrality vertices in large graphs
High-Performance Graph Primitives on GPUs