This ontology is a Linked Data Hub for mathematics
☆68Jan 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:
- Convert SWRL rules to SHACL-SPARQL rules☆10Oct 2, 2018Updated 7 years ago
- Converts amost every Julia object to CLI commands☆12Aug 6, 2020Updated 5 years ago
- Lightweight and friendly .NET library for realizing modern Semantic Web applications (OWL2, SWRL)☆16Jun 10, 2026Updated 3 weeks ago
- ☆15Jun 7, 2023Updated 3 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆40Apr 20, 2026Updated 2 months ago
- egraphs-good website☆18Mar 10, 2026Updated 3 months ago
- Vitalize: A low-level Julia package for interactive visualizations in the browser.☆15Aug 8, 2018Updated 7 years ago
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 3 years ago
- Bayesian Information Gap Decision Theory☆19May 27, 2026Updated last month
- Common weakness enumeration library for Python☆16Mar 17, 2024Updated 2 years ago
- Several scripts to analyse Wikidata dumps☆33Apr 7, 2014Updated 12 years ago
- multi-logic proof generator☆11Apr 13, 2026Updated 2 months ago
- Generic admin UI for Pyramid projects☆21Aug 4, 2011Updated 14 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.
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆19Updated this week
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆11Jan 10, 2020Updated 6 years ago
- List of awesome resources and companies that practice microtasking☆16Feb 20, 2019Updated 7 years ago
- The source of the W3C Linked Building Data Community Group website https://w3c-lbd-cg.github.io/lbd/☆36Jun 24, 2025Updated last year
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- [ABANDONED] A nascent javascript library for math and physics calculations☆15Jul 21, 2015Updated 10 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Updated this week
- 很久以前写的……冯诺依曼的四个参数画大象，再加一个参数鼻子还能动☆12Jun 18, 2020Updated 6 years ago
- Isomorphic fetch with window.fetch and undici.fetch☆19Sep 15, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- ☆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
- QuantumSheet - A user friendly mathematics worksheet and solver☆60Jul 29, 2022Updated 3 years ago
- WikidPad is a single user desktop wiki☆10Feb 29, 2016Updated 10 years ago
- Python library for determination of feed forward controls for nonlinear systems.☆23Aug 22, 2022Updated 3 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆24Jun 25, 2026Updated last week
- Formal semantics in Agda.☆17Jul 2, 2015Updated 11 years ago
- A lock-free, thread-safe, multi-producer/multi-consumer queue based on the LMAX Disruptor.☆16Apr 20, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Use features of rejected PEPs☆11Oct 11, 2019Updated 6 years ago
- Generated migrations for beam databases☆22Feb 20, 2026Updated 4 months ago
- Neovim plugin to help with markdown tables☆12May 29, 2022Updated 4 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
- ☆13Jan 23, 2022Updated 4 years ago