Skip to content
@mathlingua

Mathlingua

Mathlingua is a language designed to build an open, collaborative repository to record, communicate, and share mathematical knowledge

Pinned Loading

  1. 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 67

  2. mathlingua-language-support mathlingua-language-support Public

    The official VS Code extension for MathLingua

    TypeScript 1

  3. mathlore-content mathlore-content Public

    A repository of mathematical knowledge written in the Mathlingua language.

    17 1

  4. mathlingua-website mathlingua-website Public

    HTML

  5. mathlingua-book mathlingua-book Public

    HTML

  6. mathlore mathlore Public

    Dockerfile

Repositories

Showing 6 of 6 repositories
  • 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.

    mathlingua/mathlingua’s past year of commit activity
    Go 67 Apache-2.0 0 0 4 Updated Jun 12, 2024
  • mathlore-content Public

    A repository of mathematical knowledge written in the Mathlingua language.

    mathlingua/mathlore-content’s past year of commit activity
    17 CC-BY-4.0 1 0 0 Updated Jun 6, 2024
  • mathlingua-book Public
    mathlingua/mathlingua-book’s past year of commit activity
    HTML 0 0 0 0 Updated May 31, 2024
  • mathlore Public
    mathlingua/mathlore’s past year of commit activity
    Dockerfile 0 0 0 0 Updated May 11, 2024
  • mathlingua-website Public
    mathlingua/mathlingua-website’s past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Nov 29, 2023
  • mathlingua-language-support Public

    The official VS Code extension for MathLingua

    mathlingua/mathlingua-language-support’s past year of commit activity
    TypeScript 1 Apache-2.0 0 0 1 Updated Apr 5, 2023

Top languages

Loading…

Most used topics

Loading…