similar projects

Physics

websites

Wikipedia description of Planet Physics (no longer exists)

Online physics textbook

Visual static concept graph for physics
http://hyperphysics.phy-astr.gsu.edu/hbase/hframe.html

Equationmap, a startup. Input: (Tex file) or (web GUI with Latex syntax). Output: (graph rendered in browser) or (Tex file). Can store graphs. 

http://dfcd.net/articles/derivations/derivations.html
A very small collection of derivations with almost no explanation

http://ww2.valdosta.edu/~cbarnbau/personal/teaching_MISC/deriv_phys.htm

http://proofs.wiki/Category:Physics
https://news.ycombinator.com/item?id=8980791

Text books

Comprehensive Physics XI By Narinder Kumar

Math proof

Papers

Hilbert's program. My intent is similar for physics, though not as rigorous

Leslie Lamport math proof notation
http://research.microsoft.com/en-us/um/people/lamport/pubs/proof.pdf
http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-how-to-write

web pages

Graph of topics in Mathematics

https://proofwiki.org/wiki/Main_Page

Mizar: an attempt to reconstruct mathematical vernacular in a computer-oriented environment

Symbolab, a private company. Input: web GUI with Latex syntax. Output: solved solution showing steps in browser

MathDox formula editor. Input: web GUI for equations. Output: (equation rendered in browser) or (OpenMath) or (MathML)

Formula-Database. Input: web GUI for equations. Output: returns a list of equations similar to query. Each returned equation as the symbols defined.

http://blog.stephenwolfram.com/2014/08/computational-knowledge-and-the-future-of-pure-mathematics/

Knowledge graphs

Google's knowledge graph

CMapTools knowledge modeling kit

Other

Ajit Narayanan: A word game to communicate in any language

A Primer on Bézier Curves

Projects which are not related

Artificial Intelligence