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:
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 3 years ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago
- A simple desktop Wiki engine built around Markdown and git☆17Nov 15, 2021Updated 4 years ago
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆11Jan 10, 2020Updated 6 years ago
- ☆16Jun 7, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Talk for PyMNtos on code generation in SymPy☆18Sep 18, 2014Updated 11 years ago
- This ontology is a Linked Data Hub for mathematics☆68Jan 30, 2024Updated 2 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Jun 9, 2020Updated 6 years ago
- ☆12Feb 26, 2024Updated 2 years ago
- In this list, we want to collect links, resources, and tips towards sustainable software developent. We especially want to highlight pra…☆16Mar 14, 2023Updated 3 years ago
- A Python wrapper for exposing Linked Open Data from public SPARQL-served endpoints☆17Sep 3, 2018Updated 7 years ago
- Post Quantum Decentralized Identifiers & Steganography☆15Nov 16, 2022Updated 3 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Tool to Estimate the Time Needed to Conduct a Systematic Review or Systematic Map☆16Jul 29, 2022Updated 4 years ago
- Thesis: Application of Reinforcement Learning for the Control of Nonlinear Dynamical Systems☆18Apr 16, 2020Updated 6 years ago
- Phase plane analysis of nonlinear systems☆18May 25, 2022Updated 4 years ago
- Machine learning RCT classifier☆23Mar 25, 2023Updated 3 years ago
- Django application to send push notifications☆15Aug 3, 2018Updated 8 years ago
- 💫 Deploy SPARQL endpoints from RDFLib Graphs to serve RDF files, machine learning models, or any other logic implemented in Python☆98Jul 23, 2026Updated 2 weeks ago
- NLP for evidence-based medicine. https://www.robotreviewer.net/.☆18Jan 16, 2023Updated 3 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- (new loving maintainer sought) Plot Flow Charts According to the PRISMA Statement☆19Apr 15, 2021Updated 5 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.
- Python bindings for upgraded FaCT++ description logic reasoner☆31May 1, 2026Updated 3 months ago
- This is the issue tracker for the maintenance of Core Person Vocabulary☆20Jun 9, 2026Updated 2 months ago
- A projection-accurate interactive map that lets you compare the sizes of cities, countries and even buildings.☆16Jan 23, 2020Updated 6 years ago
- Pydantic data models for DCAT-AP v3 and the Health-RI metadata model.☆19Aug 3, 2026Updated last week
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆26Jul 30, 2026Updated last week
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- An exploration in AWS SDK development with Nim☆25May 16, 2023Updated 3 years ago
- Extensible protocol for document history metadata exchange, to enable trustworthy, rapid, open science, by and for preprint science commu…☆17Jul 30, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆13Jun 16, 2022Updated 4 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- The Systematic Review Accelerator (SRA) for the Bond University IEBH☆18Sep 16, 2025Updated 10 months ago
- A library that uses Python to connect and manipulate Jena Fuseki, which provides sync and async methods.☆27Jan 7, 2022Updated 4 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- The VIVO Ontology☆16Jul 10, 2026Updated last month