The OpenMath Content Dictionaries
☆17Jun 28, 2022Updated 4 years ago
Alternatives and similar repositories for CDs
Users that are interested in CDs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 3 years ago
- Web-based formula editor that creates strict content MathML☆13Feb 8, 2022Updated 4 years ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago
- Liste aller bekannter Accounts von Politiker*innen und politischer Institutionen im Fediverse mit Aktivitätsmetriken☆16Sep 11, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Atom and RSS feeds for arXiv articles☆18Oct 1, 2026Updated last week
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆11Jan 10, 2020Updated 6 years ago
- ☆16Jun 7, 2023Updated 3 years ago
- This ontology is a Linked Data Hub for mathematics☆68Jan 30, 2024Updated 2 years ago
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆19Oct 1, 2026Updated last week
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Jun 9, 2020Updated 6 years ago
- Exploration of the Mayors in Europe with Wikidata and Python☆17Nov 12, 2022Updated 3 years ago
- Tools for symbolic manipulation related to control theory and system dynamics☆17Oct 8, 2025Updated last year
- Python library for determination of feed forward controls for nonlinear systems.☆23Aug 22, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- python packages for block based simulation of dynamical systems in continous time (inspired by simulink)☆16Apr 16, 2026Updated 5 months ago
- Dynamic Signatures Generated by Regulatory Networks☆13Aug 21, 2019Updated 7 years ago
- A Python wrapper for exposing Linked Open Data from public SPARQL-served endpoints☆17Sep 3, 2018Updated 8 years ago
- A tool for creating resource prediction models for scientific workflows☆13Feb 27, 2024Updated 2 years ago
- ☆11Jun 29, 2014Updated 12 years ago
- Au Naturel is a LaTeX template built on top of the standard article class, roughly emulating some characteristics of the Nature Publishin…☆10May 2, 2018Updated 8 years ago
- An annotation tool for grounding of formulae☆24May 28, 2024Updated 2 years ago
- Simple Radial Layout for putting stuff in a circle or spiral.☆15Apr 19, 2016Updated 10 years ago
- A Tool to Estimate the Time Needed to Conduct a Systematic Review or Systematic Map☆17Jul 29, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Image to Latex using Encoder-Decoder architecture☆19May 21, 2025Updated last year
- Image analysis software for estimating cell density in arrayed microbial cultures growing on solid agar☆12Aug 16, 2017Updated 9 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Overlapped primer design for entire coding sequence of the gene with specificity check☆13Feb 22, 2022Updated 4 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Phase plane analysis of nonlinear systems☆20May 25, 2022Updated 4 years ago
- Django application to send push notifications☆15Aug 3, 2018Updated 8 years ago
- ☆12Aug 24, 2014Updated 12 years ago
- Example app for demonstrating CI/CD workflows.☆11Oct 4, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 💫 Deploy SPARQL endpoints from RDFLib Graphs to serve RDF files, machine learning models, or any other logic implemented in Python☆99Jul 23, 2026Updated 2 months ago
- NLP for evidence-based medicine. https://www.robotreviewer.net/.☆18Jan 16, 2023Updated 3 years ago
- In early development☆16Jul 20, 2020Updated 6 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- Generate an HLedger Journal Containing Daily Stock & Crypto Quotes for your Commodities☆26Mar 1, 2026Updated 7 months ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Python bindings for upgraded FaCT++ description logic reasoner☆31Oct 2, 2026Updated last week