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

data visualization

https://news.ycombinator.com/item?id=9002971

https://www.google.com/maps

graphs

http://stackoverflow.com/questions/7034/graph-visualization-code-in-javascript/2366237#2366237

http://www.graphdracula.net/

http://sigmajs.org/

http://arborjs.org/

http://www.neo4j.org/develop/visualize

bl.ocks.org: rkirsling directed graph editor
rkirsling github: "modal logic" used in logical proofs
as referenced on Hacker news

http://bl.ocks.org/mbostock/4062045

logicpull.com editor

ryandesign.com/canviz static graph

https://philogb.github.io/jit/demos.html
https://philogb.github.io/jit/static/v20/Jit/Examples/ForceDirected/example2.html
https://philogb.github.io/jit/static/v20/Jit/Examples/ForceDirected/example2.js

Projects which are not related

Artificial Intelligence