🧠
Popular repositories Loading
-
-
-
CLIP
CLIP PublicForked from openai/CLIP
CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image
Jupyter Notebook
-
MathPython
MathPython PublicKey theorems implemented into Jupyter notebooks and packged into .whl scripts for scalable re-use
-
-
lean4-hott
lean4-hott PublicForked from chantakan/lean4-devcontainer-template
A fork of a minimal Lean 4 development environment using VSCode DevContainer. To be extended with additional libraries.
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.
