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

   XSLT

4. cubical-prototype cubical-prototype Public

   A prototype cubical proof assistant

   OCaml

5. formalization formalization Public

   public formalization repo

   Agda

6. kickstart.nvim kickstart.nvim Public

   Forked from nvim-lua/kickstart.nvim

   A launch point for your personal nvim configuration

   Lua