qualitative spatio-temporal reasoning toolbox
☆26Nov 29, 2023Updated 2 years ago
Alternatives and similar repositories for SparQ
Users that are interested in SparQ are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆14May 31, 2021Updated 5 years ago
- ☆11Aug 29, 2018Updated 8 years ago
- ☆14Jul 27, 2026Updated 2 months ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Jul 23, 2026Updated 2 months ago
- This library provides expression trees for representation of geometric expressions and automatic differentiation of these expressions. Th…☆14Jun 17, 2026Updated 3 months ago
- Preview man page in your browser as you edit☆12Jul 16, 2016Updated 10 years ago
- PyMC3 implementation of Drew Linzer’s dynamic Bayesian election forecasting model☆12Nov 4, 2016Updated 9 years ago
- Illustration of counterfactual inference following Ferenc Huszar example☆13Aug 15, 2025Updated last year
- Efficient Distributed Evaluation of SPARQL with Apache Spark☆34Aug 19, 2021Updated 5 years ago
- Documentation tools for common lisp☆15Sep 19, 2021Updated 5 years ago
- ☆10Dec 12, 2017Updated 8 years ago
- The Heterogeneous Tool Set☆64Oct 7, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A metaheuristic algorithm framework for solving discrete optimization problems☆20Jul 13, 2013Updated 13 years ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆22Oct 19, 2025Updated 11 months ago
- Deep Learning Meetup in Austin, TX☆11Mar 13, 2018Updated 8 years ago
- My personal dotfiles for NixOS☆25Sep 27, 2026Updated last week
- a library for deep reinforcement learning, with applications for navigation☆16Feb 6, 2018Updated 8 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 4 years ago
- An awesome reading list for intuitive physics raning from cognitive studies to computational studies.☆23Aug 2, 2024Updated 2 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆18Apr 28, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mobile friendly, interactive earthquake map and list application.☆11Oct 6, 2020Updated 6 years ago
- Android client for OpenLocate, Open Source, self hosted, privacy aware alternative to Android Device Manager☆15May 11, 2015Updated 11 years ago
- 3d spatially aware event emitter☆30May 3, 2014Updated 12 years ago
- Port of Aleph to SWI-Prolog☆55Feb 7, 2024Updated 2 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 9 years ago
- A sample application demonstrating how an application might be built against the Open Data API using Backbone.js and Marionette.js.☆13Mar 7, 2016Updated 10 years ago
- Reimplementation of "An Object-Oriented Representation for Efficient RL"☆17Sep 12, 2024Updated 2 years ago
- Lua implemented in Mercury☆15May 5, 2026Updated 5 months ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆11Apr 19, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 8 years ago
- Image capture handling in Android made easy☆15Nov 22, 2021Updated 4 years ago
- Pan Language Compiler and Tools☆14Jul 3, 2026Updated 3 months ago
- Python scripts which I use in my work wirh ESA SNAP tool☆13Jul 23, 2020Updated 6 years ago
- MapCentia Docker files☆16Mar 8, 2023Updated 3 years ago
- The TouchRemix sound theme☆13Jan 23, 2018Updated 8 years ago
- A random color generation site.☆15Mar 15, 2021Updated 5 years ago