Pinned Loading

1. closest_pair_of_points closest_pair_of_points Public

   Verification of divide-and-conquer algorithms solving the Closest Pair of Points problem

   Isabelle

2. raytracer_challenge raytracer_challenge Public

   Ray Tracer Challenge (by Jamis Buck)

   Rust

3. monkey_lang monkey_lang Public

   A rusty toy parser, interpreter, compiler and virtual machine for the Monkey programming language (by Thorsten Ball).

   Rust 1

4. metamorphic_testing metamorphic_testing Public

   Experimental library for metamorphic testing using decorators.

   Python 1

5. earley earley Public

   Verification of an Earley Parser

   Isabelle

6. k_d_tree k_d_tree Public

   Verification of the k-d-tree data structure using Isabelle

   Isabelle