A HOL-based framework for reasoning over knowledge graphs
☆26Sep 17, 2025Updated 5 months ago
Alternatives and similar repositories for ULKB
Users that are interested in ULKB are comparing it to the libraries listed below
Sorting:
- A Python module to provide software abstractions to ease accessing hyperknowledge graphs☆11Dec 19, 2024Updated last year
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- FE-511 Bloomberg Terminal and Thomson Reuters☆11Feb 8, 2017Updated 9 years ago
- Automated Question-Answering Over Knowledge Graphs in O&M of Wind Turbines☆12Aug 16, 2022Updated 3 years ago
- A repository for the Petagraph project☆14Dec 11, 2025Updated 2 months ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- This repository contains all the needed source files for several examples from Pong Chu's book: "Pong P. Chu, FPGA Prototyping by VHDL Ex…☆10Apr 2, 2022Updated 3 years ago
- Customer Engagement☆10Dec 30, 2022Updated 3 years ago
- Installation scripts for IceWhale's products.☆13Apr 16, 2025Updated 10 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- ☆10Mar 20, 2021Updated 4 years ago
- The framework for next generation data center.☆29Aug 24, 2025Updated 6 months ago
- Code for Stress and Affect Detection on Resource-Constrained Devices☆12Jan 24, 2021Updated 5 years ago
- My implementation of https://arxiv.org/abs/1910.02600 in pytorch. Based on https://github.com/aamini/evidential-deep-learning☆10Jan 26, 2021Updated 5 years ago
- Compose file for WebProtégé services☆14Updated this week
- ☆14Feb 4, 2022Updated 4 years ago
- This repository contains a script that can be used to facilitate the data workflow for soft-linking of global IAMs and global power syste…☆12Nov 4, 2022Updated 3 years ago
- Quantile Local Projections☆12Aug 8, 2022Updated 3 years ago
- SharedPreferences wrapper for both Mobile (Android/iOS), Web and Desktop (Windows, macOS, Linux).☆10Aug 6, 2025Updated 6 months ago
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- Sample projects for Quantomatic☆12Apr 25, 2020Updated 5 years ago
- FPGA Guide☆14Jan 2, 2022Updated 4 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- ION Capability Container and core framework (python) - an advanced fork is available at https://github.com/scionrep/scioncc☆26Jul 6, 2022Updated 3 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- the edX learning management system (LMS) and course authoring tool, Studio☆14Jan 30, 2024Updated 2 years ago
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆11Jan 10, 2020Updated 6 years ago
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated last year
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Sync TaskWarrior and Starred Gmail Emails☆10Nov 23, 2015Updated 10 years ago
- A set of tools for Dynamic Design Patterns in Python☆11Oct 6, 2023Updated 2 years ago
- The TaskWarrior visualisation and extension for team management☆12May 26, 2016Updated 9 years ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated last month
- [npj Digital Medicine] An In-Depth Evaluation of Federated Learning on Biomedical Natural Language Processing for Information Extraction☆10May 1, 2024Updated last year