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
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆65Updated last year
• costezki / awesome-semantic-tools
  List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.
  ☆18Updated 6 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 14 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• linkeddata / swap
  The Semantic Web Application Platform: cwm etc
  ☆36Updated last year
• OpenMath / py-openmath
  An OpenMath 2.0 implementation in Python
  ☆17Updated 5 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• yWorks / ontology-visualizer
  The sample web app for the yFiles use case about an Ontology Visualizer.
  ☆12Updated 7 months 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
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆73Updated 11 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆115Updated last week
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆118Updated 2 weeks ago
• ISA-tools / stato
  This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…
  ☆37Updated 9 months ago
• nassibnassar / yamz
  YAMZ - a crowdsourced metadata dictionary. Latest version at: https://github.com/metadata-research/yamz/
  ☆13Updated 2 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• stared / tag-graph-map-of-stackexchange
  Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.
  ☆54Updated 11 years ago
• enanomapper / ontologies
  The eNanoMapper ontology
  ☆19Updated 3 months ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆157Updated this week
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆40Updated 2 years ago
• paperscape / paperscape-mapclient
  Browser client for the Paperscape map
  ☆103Updated 4 months ago
• telmomenezes / synthetic
  Symbolic Generators for Complex Networks
  ☆48Updated 2 years ago
• SeerLabs / CiteSeerX
  CiteSeerX public repository
  ☆134Updated last year
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆35Updated 10 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆61Updated 6 years ago
• wikicite / wcite
  Pandoc filter to use Wikidata as reference manager
  ☆18Updated 5 years ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆56Updated 2 months ago
• Phyks / libbmc
  A python library to deal with scientific papers.
  ☆17Updated 9 years ago
• OpenDreamKit / OpenDreamKit
  Main repository for sharing files and documents about OpenDreamKit
  ☆91Updated 5 years ago
• nojhan / ubergeekism
  An attempt at using as many as possible COOL computer science stuff to produce a single image (Lindenmayer system, Penrose tiling, Travel…
  ☆17Updated 10 years ago