Popular repositories Loading
-
pyqt5-modelview-tutorial
pyqt5-modelview-tutorial PublicA rewrite in PyQt5 of Model/View examples given in the official Qt tutorial
-
deck_of_cards
deck_of_cards PublicA minimal example of nbdev using code from Allen Downey's Think Python 2nd Ed
Jupyter Notebook
-
complete-ordered-ring
complete-ordered-ring PublicA study in Lean 3 (no mathlib) of complete ordered integral domains.
Lean
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.