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
- Qualitative Spatial Relations library☆18Jul 30, 2020Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A curated list of digitization fails with a focus on eGovernment in German language.☆12Feb 28, 2025Updated last year
- ☆20Jul 23, 2026Updated last month
- This library provides expression trees for representation of geometric expressions and automatic differentiation of these expressions. Th…☆14Jun 17, 2026Updated 3 months 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
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 4 years ago
- PyData San Luis 2017 Tutorial: An Introduction to Gaussian Processes in PyMC3☆14Nov 16, 2017Updated 8 years ago
- A metaheuristic algorithm framework for solving discrete optimization problems☆20Jul 13, 2013Updated 13 years ago
- Exploring Shared Virtual Memory Abstractions in OpenCL Tools for FPGAs☆18Dec 7, 2017Updated 8 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.
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆22Oct 19, 2025Updated 11 months ago
- Custom resources for LaTeX and related.☆13Feb 18, 2021Updated 5 years ago
- An example repository demonstrating Bazel cc_binary and cc_library build targets.☆11Mar 3, 2016Updated 10 years ago
- Deep neural network architecture for representing robot experiences in an episodic-like memory which facilitates encoding, recalling, and…☆15Sep 12, 2018Updated 8 years ago
- ☆23Apr 17, 2023Updated 3 years ago
- 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☆17Apr 28, 2026Updated 4 months 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.
- 3d spatially aware event emitter☆30May 3, 2014Updated 12 years ago
- Port of Aleph to SWI-Prolog☆54Feb 7, 2024Updated 2 years ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 9 years ago
- My CV.☆18Feb 21, 2018Updated 8 years ago
- Reimplementation of "An Object-Oriented Representation for Efficient RL"☆17Sep 12, 2024Updated 2 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated last year
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Apr 7, 2018Updated 8 years ago
- Pan Language Compiler and Tools☆14Jul 3, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Mar 14, 2018Updated 8 years ago
- The TouchRemix sound theme☆13Jan 23, 2018Updated 8 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆20Jun 21, 2022Updated 4 years ago
- Three hundred years ago, the Brazilian Space Agency discovered a rocky exoplanet only 38 light years from Earth. With a surface temperatu…☆10Feb 19, 2016Updated 10 years ago
- Material extra☆15Dec 6, 2017Updated 8 years ago
- TinyOS for small MSP430 chips with msp430-elf-gcc☆12Oct 18, 2021Updated 4 years ago
- List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.☆25Nov 3, 2019Updated 6 years ago