a2435191
Follow
-
Rupert.lean Public
Forked from dwrensha/Rupert.leanFormalization of the Rupert Problem for convex polyhedra.
Lean Apache License 2.0 UpdatedSep 12, 2025 -
lean-logic-formalization Public
Formalize "Logic Notes" by Lou van den Dries in Lean
-
-
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedFeb 4, 2025 -
-
-
CMSX-upload Public
File upload script for Cornell's Course Management System X
MIT License UpdatedSep 12, 2023 -
-
-
-
-
data Public
Forked from fivethirtyeight/dataData and code behind the articles and graphics at FiveThirtyEight
Jupyter Notebook Creative Commons Attribution 4.0 International UpdatedOct 24, 2022 -
HowMyNeighborsVoted Public
iOS app to view how the user's current precinct voted.
MIT License UpdatedSep 10, 2022 -
-
-
ukraine-war-map-twitter-bot Public
A Twitter bot that posts a map of the 2022 Ukraine conflict every time Wikipedia updates it. DONATE TO THE UKRAINIAN ARMY: https://armysos.com.ua/en/help-the-army
-
-
-
-
-
overleaf Public
Forked from overleaf/overleafA web-based collaborative LaTeX editor
JavaScript GNU Affero General Public License v3.0 UpdatedJan 24, 2022 -
-
svgpath2mpl Public
Forked from nvictus/svgpath2mplSVG path parser for matplotlib
Python BSD 3-Clause "New" or "Revised" License UpdatedOct 6, 2021 -
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedAug 26, 2021 -
Add C#-like `{get; set;}` syntax to Python attributes.
-
pandas Public
Forked from pandas-dev/pandasFlexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 17, 2021 -
-
setuptools Public
Forked from pypa/setuptoolsOfficial project repository for the Setuptools build system
Python MIT License UpdatedAug 9, 2021 -
-