Pinned Loading

1. artificial-brilliance/.github artificial-brilliance/.github Public

   Artificial Brilliance is a place to explore the possibilities of artificial intelligence with the goal of sharing what I have learned with others as well as learn from others.

2. mathlingua/mathlingua mathlingua/mathlingua Public

   Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.

   Go 68

3. mathlingua/mathlingua-website mathlingua/mathlingua-website Public

   HTML

4. mathlingua/mathlore-content mathlingua/mathlore-content Public

   A repository of mathematical knowledge written in the Mathlingua language.

   17 1

5. mathlingua/mathlingua-language-support mathlingua/mathlingua-language-support Public

   The official VS Code extension for MathLingua

   TypeScript 2

6. mathlore-vault mathlore-vault Public

   Direct access to the content at https://mathlore.org.

   4