Classification of semisimple lie algebras

Stream: Is there code for X?

[Xela]

I see that there are definitions for Lie Algebras and Cartan Subalgebras. What about the classification theorem? It looks like it isn't there.

There is code for a (more general than I am familiar with) root system. I cannot find code for Dynkin Diagrams. Thus the lowest hanging fruit here would be to define a Dynkin Diagram, classify the simple ones, prove that one can uniquely obtain the associated root system (and that direct sum of dynkin diagrams => direct sum of roots) and thus classify the root systems (for those not familiar with this, this is a result in euclidean geometry that doesn't use anything more complicated than Cauchy Schwartz).

[Junyan Xu]

See this project and this thread. There are certainly things you can help!