ethanwsussman / Yang--Mills-LLM-experiment

Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under construction!)

dart-lang / language

Design of the Dart language

NiuTrans / LaTeXTrans

A tool for translating the content of LaTeX documents into various other natural languages (e.g., translating an arXiv paper from English to Chinese).

dspinellis / latex-advice

Advice for writing LaTeX documents