OntoMathEdu: a linguistically grounded educational mathematical ontology
☆13May 24, 2021Updated 5 years ago
Alternatives and similar repositories for OntoMathEdu
Users that are interested in OntoMathEdu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This ontology is a Linked Data Hub for mathematics☆68Jan 30, 2024Updated 2 years ago
- [ICLR2026] DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs☆24Oct 19, 2025Updated last year
- A web-based matchmaking system for CS:GO☆13Aug 27, 2014Updated 12 years ago
- This is repository with many ML examples☆11May 31, 2025Updated last year
- AI Policy Guidelines☆16Jul 2, 2026Updated 3 months 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.
- ☆11May 10, 2022Updated 4 years ago
- RDF Graph Compression Tool. Hash RDF subjects based on a checksum of their triples, effectively consolidating together subjects that cont…☆15Feb 11, 2026Updated 8 months ago
- [SIGDIAL'24] Improving Speech Recognition with Jargon Injection☆12Sep 30, 2024Updated 2 years ago
- Optimizing a free-meal reimbursement program for K-12 schools☆14Sep 26, 2025Updated last year
- A simple desktop Wiki engine built around Markdown and git☆18Nov 15, 2021Updated 4 years 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☆16Sep 11, 2026Updated last month
- [Godot Plugin][Version 0.3.0] SWI-Prolog for Godot 4☆15Sep 17, 2026Updated last month
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 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.
- Talk for PyMNtos on code generation in SymPy☆18Sep 18, 2014Updated 12 years ago
- ☆16Jun 7, 2023Updated 3 years ago
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆10Jan 10, 2020Updated 6 years ago
- The repository for the Sustainable Development Goals Interface Ontology☆68Jun 3, 2020Updated 6 years ago
- Semantic Mediawiki Python binding☆15Feb 13, 2014Updated 12 years ago
- ☆12Apr 18, 2021Updated 5 years ago
- Mathjax formulas doing LATEX goodness in Etherpad☆17Sep 21, 2026Updated last month
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆19Updated this week
- Tools for symbolic manipulation related to control theory and system dynamics☆17Oct 8, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A wrapper for COIN-OR mixed integer linear programming via OSI to Microsoft .NET☆13Dec 26, 2024Updated last year
- 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
- Exploration of the Mayors in Europe with Wikidata and Python☆17Nov 12, 2022Updated 3 years ago
- A Quarto Extension to Enable Google Adsense on Quarto HTML Documents☆19Updated this week
- NLP toolkit for those nonsensical ontologies☆18Sep 17, 2026Updated last month
- python packages for block based simulation of dynamical systems in continous time (inspired by simulink)☆16Apr 16, 2026Updated 6 months ago
- This project is a basic text-based adventure game. The idea of the game was inspired by Colossal Cave Adventure.☆14Jul 21, 2021Updated 5 years ago
- WikidPad is a single user desktop wiki☆10Feb 29, 2016Updated 10 years ago
- Computerized Adaptive Testing☆77Aug 9, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python library for determination of feed forward controls for nonlinear systems.☆23Aug 22, 2022Updated 4 years ago
- The OpenMath Content Dictionaries☆18Jun 28, 2022Updated 4 years ago
- Official code for ICLR'24 "Predictive, scalable and interpretable knowledge tracing on structured domains"☆10Mar 23, 2024Updated 2 years ago
- Model-Agnostic Adaptive Testing☆11Dec 16, 2020Updated 5 years ago
- Documentation about useful Software Development tools☆15Dec 26, 2022Updated 3 years ago
- A YAML-based tree-format for SKOS concept schemes☆22Feb 21, 2026Updated 8 months ago
- Large language models to diffusion finetuning code☆26Jun 2, 2025Updated last year