Popular repositories Loading

1. tess-time-correction tess-time-correction Public

   Example repository demonstrating barycentric time correction of TESS spacecraft timestamps

   Jupyter Notebook 1

2. prop-logic prop-logic Public

   Tools for Propositional Logic

   Python

3. modal-logic modal-logic Public

   Python

4. worldcubeassociation.org worldcubeassociation.org Public

   Forked from thewca/worldcubeassociation.org

   All of the code that runs on worldcubeassociation.org

   Ruby

5. aoc23 aoc23 Public

   Advent of Code 2023

   Python

6. jackhaviland.com jackhaviland.com Public

   Personal website and blog

   TeX