Hiperal Group

Popular repositories Loading

1. RFCScope RFCScope Public

   Artifact for "RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications" presented at ASE 2025.

   Python 8 3

2. VeriContest VeriContest Public

   VeriContest is a large-scale competitive-programming benchmark for verifiable code generation in Rust. It provides expert-validated formal specifications, judge-accepted Rust implementations, Verus…

   Rust 8 5

3. summer-intern-eval summer-intern-eval Public

   VerusBench evaluation platform frontend for summer internship.

   JavaScript 1

4. VCoT-Bench VCoT-Bench Public

   [ICML'26] VCoT-Bench: Evaluating via Verification Chain of Thought

   Rust

5. uva-hiprel-highschool-intern uva-hiprel-highschool-intern Public

   Student-facing site for the Hipral group's Summer 2026 HS internship

   HTML

6. software-ambiguities-verify software-ambiguities-verify Public

   The website for students to check if the filtered ambiguities are actually ambiguities.

   JavaScript