Popular repositories Loading

1. esbmc-vampire-project esbmc-vampire-project Public

   Benchmarks and other data relating to ESBMC - Vampire integration

   C 2 1

2. POPL-2023-LOC-LOGIC POPL-2023-LOC-LOGIC Public

   Data and tools for POPL paper Location Logic for Proving Properties of Linked Lists

   HTML 1

3. LLM-Generated-Invariants-For-Bounded-Model-Checking LLM-Generated-Invariants-For-Bounded-Model-Checking Public

   Forked from adilanwar2399/ESBMC-ibmc

   C 1

4. vprover.github.io vprover.github.io Public

   Forked from vprover/vprover.github.io

   HTML

5. thesis_problem_sets thesis_problem_sets Public

   Contains the problem sets that I tested Vampire over during my thesis

6. expo-camera-tutorial expo-camera-tutorial Public

   Forked from hayanisaid/expo-camera-tutorial

   TypeScript