Pinned Loading

1. racklog racklog Public

   Forked from racket/racklog

   Prolog, modified to provide a reified search tree and reasons for query failures.

   Racket 1

2. tnelson/Forge tnelson/Forge Public

   Forge: A Tool and Language for Teaching Formal Methods

   Racket 67 9

3. vehicle-routing vehicle-routing Public

   A local search implementation of vehicle routing with limited truck capacities

   Python 1

4. question-answering-bert question-answering-bert Public

   Re-implementation of "A BERT Baseline for the Natural Questions"

   Jupyter Notebook

5. mandelbrot mandelbrot Public

   Explorations of the Mandelbrot set and Julia sets

   JavaScript 1

6. raytracer raytracer Public

   A simple ray tracer written in rust

   Rust