Popular repositories Loading

1. maritime-traffic maritime-traffic Public

   An analysis of maritime traffic using satellite imagery from Google Earth Engine.

   Jupyter Notebook 1

2. emotion-music emotion-music Public

   Jupyter Notebook

3. trey3p.github.io trey3p.github.io Public

   HTML

4. cubical-prototype cubical-prototype Public

   A prototype cubical proof assistant

   OCaml

5. formalization formalization Public

   public formalization repo

   Agda

6. quasi-quote quasi-quote Public

   Forked from UlfNorell/quasi-quote

   Quasi-quoting library for agda

   Agda