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:
- Converts amost every Julia object to CLI commands☆12Aug 6, 2020Updated 6 years ago
- The OpenMath Content Dictionaries☆17Jun 28, 2022Updated 4 years ago
- ☆16Jun 7, 2023Updated 3 years ago
- examples of use of the neosemantics plugin☆43Apr 11, 2021Updated 5 years ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆43Apr 20, 2026Updated 5 months 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.
- Vitalize: A low-level Julia package for interactive visualizations in the browser.☆15Aug 8, 2018Updated 8 years ago
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 3 years ago
- Dweb 2FA Client☆13Feb 16, 2024Updated 2 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- A pythonic Linked Data Notifications (LDN) receiver☆14Jan 31, 2019Updated 7 years ago
- Semantic Mediawiki Python binding☆15Feb 13, 2014Updated 12 years ago
- A simple desktop Wiki engine built around Markdown and git☆17Nov 15, 2021Updated 4 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- CausalFX R Package☆13Jun 22, 2015Updated 11 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.
- A comprehensive graph of mathematical domains and topics☆24Jan 8, 2022Updated 4 years ago
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆11Jan 10, 2020Updated 6 years ago
- Course files for CS112 in Spring 2012 at Hampshire college☆32Apr 30, 2012Updated 14 years ago
- Talk for PyMNtos on code generation in SymPy☆18Sep 18, 2014Updated 12 years ago
- ☆12Nov 6, 2024Updated last year
- Bayesian Information Gap Decision Theory☆20Sep 9, 2026Updated 3 weeks ago
- Generate a prerequisite-tracking static website. Similar to metacademy.☆10Feb 2, 2023Updated 3 years ago
- Causal data augmentation for pretraining debiasing☆12Aug 31, 2021Updated 5 years ago
- Compose file for WebProtégé services☆18Jul 28, 2026Updated 2 months 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.
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Pre-processing text and tokenization for UTH-BERT☆10Sep 30, 2020Updated 6 years ago
- ☆10Updated this week
- ☆11Apr 15, 2022Updated 4 years ago
- Introduction to exploratory data analysis course for Mathematics and data analysis studies in Spring 2021/2022☆14Jun 16, 2022Updated 4 years ago
- List of awesome resources and companies that practice microtasking☆16Feb 20, 2019Updated 7 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 4 years ago
- Stringing beads - identifying research workflows from tool usage data (clustering)☆11Dec 28, 2016Updated 9 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.
- Designed to simplify IPC routine with .NET☆11Jul 18, 2013Updated 13 years ago
- Exploration of the Mayors in Europe with Wikidata and Python☆17Nov 12, 2022Updated 3 years ago
- Official ISO/TC 211 Ontologies (input to def.iotc211.org)☆10Sep 16, 2026Updated 2 weeks ago
- In this list, we want to collect links, resources, and tips towards sustainable software developent. We especially want to highlight pra…☆17Mar 14, 2023Updated 3 years ago
- Isomorphic fetch with window.fetch and undici.fetch☆19Sep 15, 2025Updated last year
- Scripts that tinker with the MTA's turnstile data☆39Sep 13, 2014Updated 12 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆12Sep 21, 2021Updated 5 years ago