Highlights
- Pro
Pinned Loading
-
binary-search
binary-search PublicA Lean formalization of the general binary search algorithm.
Lean 2
-
INSPIRED-GMU/quinta-in-software-dev
INSPIRED-GMU/quinta-in-software-dev PublicA workflow support tool to help data scientists and software developers use the Quantitative Intersectional Data (QUINTA) framework
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.