Starred repositories
A collection of formalized statements of conjectures in Lean.
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
All Algorithms implemented in Python
Magenta: Music and Art Generation with Machine Intelligence
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
Drench yourself in Deep Learning, Reinforcement Learning, Machine Learning, Computer Vision, and NLP by learning from these exciting lectures!!
A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
I am sharing my Journey of 300DaysOfData in Machine Learning and Deep Learning.
Learn how to develop, deploy and iterate on production-grade ML applications.
Neural model for converting Image-to-Markup (by Yuntian Deng yuntiandeng.com)
Convert images of LaTex math equations into LaTex code.
Methods to soundly verify deep neural networks
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Proving Ground: Tools for Automated Mathematics
Python's Filesystem abstraction layer
Rich is a Python library for rich text and beautiful formatting in the terminal.
Streamlit — A faster way to build and share data apps.
Do you like Quick, Draw? Well what if you could train/predict doodles drawn inside Streamlit? Also draws lines, circles and boxes over background images for annotation.
A community-maintained Python framework for creating mathematical animations.
Voilà turns Jupyter notebooks into standalone web applications
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
scikit-learn: machine learning in Python
⛔️ DEPRECATED – See https://github.com/ageron/handson-ml3 or handson-mlp instead.