Popular repositories Loading

1. autobid autobid Public

   Scripts to automatically generate submission bids for PC members

   Python 4 3

2. verita verita Public

   A simple crater-inspired tool for Verus

   Rust 2

3. verus-ai verus-ai Public

   AI tools for Verus

   2

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++ 1

5. FStar FStar Public

   Forked from FStarLang/FStar

   An ML-like language aimed at program verification

   OCaml 1

6. Starspace Starspace Public

   Forked from facebookresearch/StarSpace

   Learning embeddings for classification, retrieval and ranking.

   C++ 1