FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
☆13Jan 26, 2016Updated 10 years ago
Alternatives and similar repositories for libfactplusplus
Users that are interested in libfactplusplus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A C++ library for working with OWL2 ontologies.☆13Jan 26, 2016Updated 10 years ago
- A C implementation of the Tsetlin Machine☆19Feb 6, 2026Updated 8 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆53May 14, 2022Updated 4 years ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆23May 8, 2026Updated 5 months ago
- LLVM-Lua, is a JIT and static Lua compiler that uses Low Level Virtual Machine (LLVM) as the compiler backend.☆12Jun 5, 2015Updated 11 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.
- C++ semantic toolkit + sparqlite RDF database☆19May 25, 2023Updated 3 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆117Dec 8, 2018Updated 7 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- A collection of quantile and quadrature routines for Z, Chi^2, and Student's T hypothesis tests☆12Apr 25, 2024Updated 2 years ago
- Starter Repo For Django/React + ViteJS☆10Jan 20, 2022Updated 4 years ago
- Support Sublime Text 3 packages for LimeText☆14Mar 17, 2020Updated 6 years ago
- The modified bcmon from google code☆11Aug 23, 2022Updated 4 years ago
- Haxe build tool for tensor flow☆12Feb 4, 2019Updated 7 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.
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- Examples of self-modifying x86 linux assembly☆12Dec 20, 2021Updated 4 years ago
- A hyperlinked help system for Sublime Text 3☆12Sep 26, 2026Updated 2 weeks ago
- Common plugin suite for the ufo-core processing framework☆11Oct 2, 2026Updated last week
- Please refer to the official version of cddlib on github instead.☆14May 1, 2018Updated 8 years ago
- Modern Hopfield layer implementations in Julia☆16Jul 21, 2022Updated 4 years ago
- Ada-tailored UML Modeling Language☆12May 14, 2023Updated 3 years ago
- daScript language support☆15Sep 2, 2026Updated last month
- A set of Lua bindings for the Fast Artificial Neural Network (FANN) library.☆15May 19, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆56Updated this week
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 15 years ago
- A small library for tracking mutable state in Idris programs☆12Apr 19, 2017Updated 9 years ago
- C++ static vector class template. Also might be known as fixed vector or on-stack vector.☆13Jul 8, 2022Updated 4 years ago
- A Julia package for interoperability with Lua☆15Oct 24, 2022Updated 3 years ago
- Leg is a Lua library which offers a complete Lua 5.1 grammar, along with some functions to use and modify it.☆21Nov 21, 2018Updated 7 years ago
- ☆16Mar 3, 2025Updated last year
- Deep dive the nuances of using Django REST Framework ModelSerializer to read, create and update model relations☆17Dec 30, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The SWI-Prolog C++ interface☆39Updated this week
- A lightweight Lua to Lisp transpiler. Translates Lua 5.3 code to a Lisp dialect.☆29Apr 29, 2025Updated last year
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- python based YAML-to-OWL-converter☆18May 20, 2022Updated 4 years ago
- A simple, consistent, and performant API for interacting with common cloud storage abstractions☆16Oct 4, 2026Updated last week
- A programming language with logic of Python, and syntax of all languages.☆17Jul 13, 2021Updated 5 years ago
- Windows Registry Script (.reg) Language package for SublimeText. Includes syntax highlighting, comments toggling, declaration snippets, a…☆12Apr 8, 2019Updated 7 years ago