Theory
1,949 items in 14 lists
-
miniF2F github.com
Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.
-
HUST Online Judge System github.com
-
dada github.com
-
recursion_schemes github.com
-
Generative Modeling Explained github.com
Statistical Machine Learning Tutorials, 2022. This tutorial on generative modeling is in part of Statistical Machine Learning Tutorial by Ying Nian Wu at UCLA Statistics. The tutorial goes over the key equations and algorithms for learning recent generative models, including…
-
purescript-matryoshka github.com
-
MathFlow github.com
C# math expression library with symbolic computation (differentiation, simplification, equation solving).
-
OuiSEO github.com
An open-source bookmarklet that shows you on-page SEO and social meta data information.
-
Hybrid Automata Library github.com
Java library for hybrid modeling combining agent-based and partial-differential equation components.
-
Intuitive Physics Reading List github.com
GitHub. A reading list on intuitive physics, maintained actively by Shiqian Li.
-
static-land-recursion-schemes github.com
-
Katalyst github.com
-
recursion github.com
-
Linkbuilding Spider github.com
A PHP project to check if websites are linking to your website.
