GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
☆19Nov 11, 2017Updated 8 years ago
Alternatives and similar repositories for gqr
Users that are interested in gqr are comparing it to the libraries listed below
Sorting:
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 3 years ago
- qualitative spatio-temporal reasoning toolbox☆24Nov 29, 2023Updated 2 years ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- [DEPRECATED] Now JetBrains IDEs have native support for evaluating JSONPath expressions☆15Jun 5, 2023Updated 2 years ago
- PowerShell abstract syntax tree rewriter library☆11Jan 30, 2019Updated 7 years ago
- Yet Another SEquence Tagger☆10Dec 8, 2022Updated 3 years ago
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 6 years ago
- Zurich Morphological Lexicon for German: a tool to extract a morphological lexicon from Wiktionary☆12Aug 10, 2023Updated 2 years ago
- jscad functions for creating components for electronics☆22Feb 24, 2026Updated last week
- Entity Component based Game Engine for XNA 4.0 (or FNA/MonoGame)☆14May 23, 2024Updated last year
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated last year
- OpenMary female voice Irina☆12Apr 9, 2019Updated 6 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- Deep Learning Meetup in Austin, TX☆11Mar 13, 2018Updated 7 years ago
- An inference server for Bark☆12Sep 22, 2023Updated 2 years ago
- Busted. With duct tape, spit and tears. Brought to you by beer.☆12Nov 4, 2021Updated 4 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- Repository of the Crowdsourced Open Citations Index (CROCI)☆10Mar 19, 2019Updated 6 years ago
- Scripts for building toolchains for cross-compiling to the original operating systems of various ebook readers☆11Nov 19, 2017Updated 8 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- Hy macros for Hypothesis framework☆14Aug 23, 2023Updated 2 years ago
- Implementation of a simple task scheduler. It can run taks in parallel.☆14Dec 3, 2013Updated 12 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 3 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- clang-format for IntelliJ based IDEs☆15Jun 15, 2019Updated 6 years ago
- Learning Concise Models from Long Execution Traces☆13Aug 10, 2022Updated 3 years ago
- A Hello World application using Shopify Embedded SDK with Python and Flask☆11Oct 13, 2019Updated 6 years ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- Continued fractions library.☆15May 23, 2015Updated 10 years ago
- Reactive version of the Federated RDF-Based Hybrid Search Engine☆14Sep 24, 2018Updated 7 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Reverse regular expression engine that calculates strings matching a given regex☆20Oct 10, 2014Updated 11 years ago
- Documentation tools for common lisp☆15Sep 19, 2021Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Tool to transform an OWL ontology into an OpenAPI Specification☆16May 31, 2021Updated 4 years ago
- Archive the Twitter sample firehose and daily trends☆13Apr 20, 2020Updated 5 years ago