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:
- Reasoner for the description logic EL+.☆17Sep 7, 2026Updated last week
- A C implementation of the Tsetlin Machine☆19Feb 6, 2026Updated 7 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 4 months ago
- macOS window selector☆13Aug 27, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- C++ semantic toolkit + sparqlite RDF database☆19May 25, 2023Updated 3 years ago
- Sublime anyword completion☆34Aug 2, 2016Updated 10 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- This addon fully implement Qt VS Addin☆12Jun 10, 2026Updated 3 months ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 12 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
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- A Java-based OWL 2 EL reasoner☆129Jun 13, 2026Updated 3 months 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.
- Pure immutable data.☆13May 7, 2026Updated 4 months ago
- Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.☆355Jan 5, 2017Updated 9 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 programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆15Jan 18, 2020Updated 6 years ago
- This is a course covering the essentials of data science as it is in 2025. Hands on exercises and not very mathsy, with practical applica…☆18Jan 20, 2025Updated last year
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆43Oct 1, 2023Updated 2 years ago
- Convert visual studio sln to CMakeLists☆15Aug 28, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Common plugin suite for the ufo-core processing framework☆11Updated this week
- Modern Hopfield layer implementations in Julia☆16Jul 21, 2022Updated 4 years 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
- Ada-tailored UML Modeling Language☆12May 14, 2023Updated 3 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆17Dec 10, 2021Updated 4 years ago
- A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the kn…☆12Mar 2, 2017Updated 9 years ago
- A set of Lua bindings for the Fast Artificial Neural Network (FANN) library.☆15May 19, 2019Updated 7 years ago
- Command for previewing Sublime minihtml content.☆13Aug 16, 2017Updated 9 years ago
- Ever wanted to have a widget instead of simple text in QListWidget? Here you go.☆20Aug 17, 2018Updated 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.
- Continuous state dynamic programming☆17Sep 5, 2026Updated 2 weeks ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 15 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 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
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- Anki: Alternative Front End Using QtWebkit☆12Jan 10, 2022Updated 4 years ago