Pinned Loading

1. nhs-rtt-dashboard nhs-rtt-dashboard Public

   An NHS Referral to Treatment (RTT) Waiting Times Dashboard

   R

2. equidafny equidafny Public

   An equivalence checker for Dafny functions

   HTML

3. dafny-equivalence-benchmarks dafny-equivalence-benchmarks Public

   Dataset of equivalent and non-equivalent Dafny functions for benchmarking program equivalence checkers

   Dafny 1

4. SATSolver SATSolver Public

   A SAT Solver written in Rust

   Rust