Alternatives and similar repositories for CDs

Users that are interested in CDs are comparing it to the libraries listed below

• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆71Updated 7 months ago
• OpenMath / py-openmath
  An OpenMath 2.0 implementation in Python
  ☆17Updated 5 years ago
• enanomapper / ontologies
  The eNanoMapper ontology
  ☆19Updated 2 weeks ago
• DLR-SC / gitlab2prov
  🔍️ Extract provenance information (W3C PROV) from GitLab projects.
  ☆16Updated last year
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆20Updated 2 months ago
• SeerLabs / CiteSeerX
  CiteSeerX public repository
  ☆133Updated last year
• graph-algorithms / edge-addition-planarity-suite
  ☆31Updated this week
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated last week
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆39Updated last year
• higham / companion-applied-mathematics-bib
  BibTeX bibliography for The Princeton Companion to Applied Mathematics.
  ☆10Updated 9 years ago
• sagemathinc / cocalc-example-files
  Collection of examples to get started with CoCalc
  ☆45Updated 3 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 10 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 14 years ago
• rufuspollock-okfn / bibserver
  BibServer is open-source software what makes it easy to publish, manage and find bibliographies. BibServer is RESTful and web-friendly.
  ☆126Updated 6 years ago
• NYPL / cce-renewals
  Tab-delimited versions of Catalog of Copyright Entries renewals
  ☆28Updated 6 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated 3 weeks ago
• vangelisv / thea
  OWL2 library for Prolog
  ☆111Updated 5 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆61Updated 6 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆58Updated last year
• angelosalatino / ieee-taxonomy-thesaurus-rdf
  IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)
  ☆11Updated 4 months ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆25Updated 2 years ago
• linkeddata / swap
  The Semantic Web Application Platform: cwm etc
  ☆35Updated last year
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆148Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• phfaist / bibolamazi
  Prepare consistent BibTeX files for your LaTeX documents
  ☆11Updated 3 months ago