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
- The OpenMath Content Dictionaries☆17Jun 28, 2022Updated 4 years ago
- Lightweight and friendly .NET library for realizing modern Semantic Web applications (OWL2, SWRL)☆16Jul 11, 2026Updated 2 weeks ago
- ☆15Jun 7, 2023Updated 3 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.
- examples of use of the neosemantics plugin☆43Apr 11, 2021Updated 5 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆42Apr 20, 2026Updated 3 months ago
- egraphs-good website☆18Mar 10, 2026Updated 4 months ago
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 3 years ago
- Liste aller bekannter Accounts von Politiker*innen und politischer Institutionen im Fediverse mit Aktivitätsmetriken☆15May 4, 2026Updated 2 months ago
- CausalFX R Package☆13Jun 22, 2015Updated 11 years ago
- A comprehensive graph of mathematical domains and topics☆24Jan 8, 2022Updated 4 years ago
- Common weakness enumeration library for Python☆16Mar 17, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Updated this week
- Bayesian Information Gap Decision Theory☆19May 27, 2026Updated last month
- multi-logic proof generator☆12Apr 13, 2026Updated 3 months ago
- Causal data augmentation for pretraining debiasing☆11Aug 31, 2021Updated 4 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- 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
- A recurrent neural network model to analyze how travelers expressed their feelings on Twitter☆12Jun 30, 2019Updated 7 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- Tidy Simultaneous Confidence Intervals for Multinomial Proportions☆11Apr 9, 2020Updated 6 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.
- Implementation of Oridinal Classification Paper using Logistic Regression and SVM☆12Jun 10, 2017Updated 9 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
- 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)☆10Jun 24, 2026Updated last month
- Tools for symbolic manipulation related to control theory and system dynamics☆17Oct 8, 2025Updated 9 months ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 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
- Post Graduate Diploma in Applied Statistics (PGDAST)☆14Sep 25, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- NLP toolkit for those nonsensical ontologies☆18Jan 29, 2026Updated 5 months 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
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Component(1) plugin to compile CoffeeScript on-the-fly☆15Oct 30, 2015Updated 10 years ago
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 3 years ago
- WebAssembly eXtended Text Format☆13Sep 20, 2022Updated 3 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago