This ontology is a Linked Data Hub for mathematics
☆67Jan 30, 2024Updated 2 years ago
Alternatives and similar repositories for OntoMathPro
Users that are interested in OntoMathPro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Converts amost every Julia object to CLI commands☆12Aug 6, 2020Updated 5 years ago
- Lightweight and friendly .NET library for realizing Semantic Web applications (OWL2, SWRL)☆14Mar 26, 2026Updated 2 weeks ago
- ☆15Jun 7, 2023Updated 2 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- egraphs-good website☆18Mar 10, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 3 years ago
- python packages for block based simulation of dynamical systems in continous time (inspired by simulink)☆16Dec 5, 2024Updated last year
- Bayesian Information Gap Decision Theory☆19Dec 15, 2023Updated 2 years ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago
- Several scripts to analyse Wikidata dumps☆33Apr 7, 2014Updated 12 years ago
- Compare working memory sets of WebViews: IE11 WebBrowser, MSEdge WebView2, Chromely CefSharp and Electron☆12May 26, 2021Updated 4 years ago
- Generic admin UI for Pyramid projects☆21Aug 4, 2011Updated 14 years ago
- A fast and lightweight Python RDF parser which wraps bindings to Rust's Rio using PyO3☆36Sep 26, 2023Updated 2 years ago
- List of awesome resources and companies that practice microtasking☆16Feb 20, 2019Updated 7 years 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.
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 4 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- ☆11Aug 25, 2022Updated 3 years ago
- Official ISO/TC 211 Ontologies (input to def.iotc211.org)☆10Mar 28, 2026Updated 2 weeks 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 6 months ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Oct 12, 2020Updated 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.
- Import/Export VTK data in/from Blender☆21Nov 29, 2024Updated last year
- ☆11Oct 29, 2021Updated 4 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆20Aug 25, 2022Updated 3 years ago
- WebAssembly eXtended Text Format☆13Sep 20, 2022Updated 3 years ago
- QuantumSheet - A user friendly mathematics worksheet and solver☆60Jul 29, 2022Updated 3 years ago
- Python library for determination of feed forward controls for nonlinear systems.☆23Aug 22, 2022Updated 3 years ago
- A zero-copy file-like wrapper for Python byte buffers, inspired by Rust's std::Cursor.☆17Apr 4, 2023Updated 3 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆23Feb 11, 2026Updated 2 months ago
- Make STEP-NC for Additive Manufacturing☆11Mar 19, 2021Updated 5 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.
- Use features of rejected PEPs☆11Oct 11, 2019Updated 6 years ago
- Neovim plugin to help with markdown tables☆12May 29, 2022Updated 3 years ago
- Representation of XML Schemas in OWL syntax☆10Feb 16, 2016Updated 10 years ago
- Python module to parse human-style date ranges (eg. 15th-19th March 2011) to datetimes☆36Jan 29, 2024Updated 2 years ago
- A WYSIWYG mathematics editor that understands your formulas!☆19Apr 10, 2024Updated 2 years ago
- Persistence API for attr-based Python classes☆17Mar 12, 2019Updated 7 years ago
- The semantics of Python in K☆21Aug 20, 2013Updated 12 years ago