Repositories list

• mathlex

  Public
  Towards a lexical resource for mathematical languages

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 18, 2025Jul 18, 2025

• OpenMath.github.io

  Public
  For the OpenMath.org website

  HTML

  •1111 forks•55 stars•1414 issues•00 pull requests•Updated Jul 14, 2025Jul 14, 2025

• OMSVN

  Public
  The OpenMath repository, ported from the old svn

  HTML

  •22 forks•55 stars•00 issues•00 pull requests•Updated Mar 27, 2025Mar 27, 2025

• om-rdf

  Public
  The (proposed) RDF serialization of OpenMath

  mathlinked-datardf+ 3

  mathlinked-datardfmathematicssemantic-webontology

  Shell

  •22 forks•88 stars•33 issues•11 pull request•Updated Jan 3, 2024Jan 3, 2024

• CDs

  Public
  The OpenMath Content Dictionaries

  XSLT

  •1010 forks•1616 stars•1818 issues•11 pull request•Updated Jun 28, 2022Jun 28, 2022

• OMSTD

  Public
  The OpenMath Standard (starting with OpenMath 2)

  XSLT

  •55 forks•99 stars•2424 issues•00 pull requests•Updated Dec 11, 2021Dec 11, 2021

• py-scscp

  Public
  SCSCP module for Python

  Python

  •

  MIT License

  •44 forks•44 stars•55 issues•00 pull requests•Updated Mar 13, 2021Mar 13, 2021

• py-openmath

  Public
  An OpenMath 2.0 implementation in Python

  Python

  •

  MIT License

  •44 forks•1717 stars•1313 issues•00 pull requests•Updated May 22, 2020May 22, 2020

• OM3

  Public
  The tickets from the old OM3 effort at https://trac.mathweb.org/OM3

  11 fork•11 star•00 issues•00 pull requests•Updated Oct 9, 2017Oct 9, 2017

• scscp

  Public
  Specification of the Symbolic Computation Software Composability Protocol (SCSCP)

  TeX

  •

  Other

  •11 fork•22 stars•00 issues•00 pull requests•Updated Sep 30, 2017Sep 30, 2017

• OM20STD-LaTeX

  Public
  The OpenMath 2.0 Standard Text in LaTeX form.

  HTML

  •11 fork•22 stars•00 issues•00 pull requests•Updated Sep 9, 2016Sep 9, 2016