OpenMath / CDs

Related projects: ⓘ

• DLR-SC / gitlab2prov
  🔍️ Extract provenance information (W3C PROV) from GitLab projects.
  ☆15Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆46Updated last year
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆66Updated 6 months ago
• enanomapper / ontologies
  The eNanoMapper ontology
  ☆16Updated 2 weeks ago
• michal-h21 / helpers4ht
  Collection of helper packages for tex4ht configuration
  ☆41Updated 3 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆20Updated 2 years ago
• aclements / biblib
  Simple, faithful BibTeX parser and algorithms for Python 3
  ☆113Updated 6 months ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆48Updated last year
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆22Updated last year
• tibonto / aeon
  The Academic Event Ontology (AEON) can be used to represent information regarding academic events.
  ☆14Updated 2 weeks ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated 7 months ago
• Phyks / libbmc
  A python library to deal with scientific papers.
  ☆17Updated 8 years ago
• linkml / linkml-owl
  Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)
  ☆11Updated 3 months ago
• information-artifact-ontology / IAO
  information artifact ontology
  ☆76Updated 4 months ago
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• OpenDreamKit / OpenDreamKit.github.io
  Sources for OpenDreamKit's website
  ☆15Updated 6 months ago
• ISA-tools / stato
  This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…
  ☆30Updated 2 months ago
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated this week
• winstonli / writelatex-git-bridge
  Bridge between WriteLatex and Git.
  ☆46Updated 4 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 9 years ago
• ontology-tools / py-horned-owl
  A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.
  ☆13Updated this week
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆28Updated 2 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆59Updated 5 years ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆14Updated 3 months ago
• Authorea / texstyles
  Authorea's collection of LaTeX-based export styles for scholarly writing
  ☆20Updated 8 years ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆21Updated 2 weeks ago
• torfbolt / DOI-finder
  A python script to automatically resolve the Digital Object Identifier (DOI) of all bibliographic entries in a bibtex database.
  ☆34Updated 8 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• OpenMath / py-openmath
  An OpenMath 2.0 implementation in Python
  ☆15Updated 4 years ago
• Cognonto / CWPK
  'Cooking with Python and KBpedia' recipes and Jupyter Notebooks
  ☆28Updated 3 years ago