Pinned Loading

1. Qurrent-AI/RES-Q Qurrent-AI/RES-Q Public

   RES-Q: Evaluating the Code-Editing Capability of Large Language Model Systems at the Repository Scale

   Python 27 3

2. aragonite-opendap aragonite-opendap Public

   Data-Driven Modeling of 4D Ocean and Coastal Acidification from Surface Measurements

   Jupyter Notebook 3

3. lslpy lslpy Public

   A Python library for contracts, property-based randomized testing, and verification via symbolic execution.

   Python 2

4. wind2watts wind2watts Public

   Cycling power prediction augmented with historical wind data

   Jupyter Notebook 2