m-westphal / gqrView external linksLinks
GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
☆18Nov 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:
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆42Sep 5, 2023Updated 2 years ago
- A word hashing method based on vectors of letter n-grams. Currently transforms text into sequences of numbers.☆10Feb 27, 2018Updated 7 years ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 3 years ago
- This repo is for uploading and documenting my 4th year Mechanical Engineering Capstone project. It is a modular rotary delta designed and…☆10Jun 12, 2021Updated 4 years ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- Use HERE Maps API for JavaScript in your Jupyter Notebook.☆39Jul 3, 2025Updated 7 months ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated last year
- secretsfly is an easy to use, minimalist, with low number of dependencies, and fast secrets management tool with a focus on self-hosting …☆11Apr 11, 2023Updated 2 years ago
- Geiser support for Scsh☆15Jun 22, 2017Updated 8 years ago
- UBF8T346G9.office is the MAC Outlook 2016 storage folder, it is however not possible to import these emails and files into outlook again …☆15Sep 18, 2025Updated 4 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Zurich Morphological Lexicon for German: a tool to extract a morphological lexicon from Wiktionary☆12Aug 10, 2023Updated 2 years ago
- Hypothesis extension for generating filesystem paths☆12Oct 12, 2017Updated 8 years ago
- Entity Component based Game Engine for XNA 4.0 (or FNA/MonoGame)☆14May 23, 2024Updated last year
- A python library for lossy compression/serialization of trajectory data based on Google's Encoded Polyline Algorithm Format☆11Feb 24, 2020Updated 5 years ago
- Yet Another SEquence Tagger☆10Dec 8, 2022Updated 3 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- FlowCutter submission to PACE 2016☆12Sep 20, 2016Updated 9 years ago
- PowerShell abstract syntax tree rewriter library☆11Jan 30, 2019Updated 7 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Deep Learning Meetup in Austin, TX☆11Mar 13, 2018Updated 7 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆19Dec 16, 2025Updated last month
- Meetup app for Reddit users based on subreddit subscriptions.☆12Mar 22, 2022Updated 3 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 5 years ago
- new generation language☆20Aug 2, 2013Updated 12 years ago
- ☆11Sep 29, 2021Updated 4 years ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- ☆15Dec 8, 2022Updated 3 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- Personal opinions of Standards and Policies☆14Aug 22, 2021Updated 4 years ago
- A Hello World application using Shopify Embedded SDK with Python and Flask☆11Oct 13, 2019Updated 6 years ago
- OTv2: distributed service that matches raw GPS probe data to OSMLR segments and sends anonymized speeds to Datastore☆13Jul 1, 2022Updated 3 years ago
- Data Package with EDGAR CO2 emissions☆11May 15, 2021Updated 4 years ago
- Fastest django app you'll ever user that provides paypal, stripe and cryptocurrency ( bitcoin) payment for your django drf saas app mvps …☆13Jan 27, 2026Updated 2 weeks ago
- Bayes-Nash equilibrium computation of combinatorial auctions☆14May 30, 2022Updated 3 years ago
- ☆13Jan 7, 2016Updated 10 years ago