Starred repositories
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
<
8000
div class="py-1">
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 design, 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
A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.