Pinned Loading

1. hashLR hashLR Public

   An improvement over address space layout randomization (ASLR) that shuffles the layout of basic blocks in the text section of an executable binary file instead of using a fixed offset.

   Assembly 1

2. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   A modification of the LLVM compiler to support code segment randomization through hashing.

3. coq-prover coq-prover Public

   Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq files and fine-tuning LLMs.

   Coq 6 3

4. cs184-project cs184-project Public

   Automated theorem prover for Coq using reinforcement learning.

   Coq

5. cs61 cs61 Public

   CS 61 Fall 2020

   C++ 1

6. mafia mafia Public

   Play the role-playing game of Mafia without a human moderator

   Java 1