qualitative spatio-temporal reasoning toolbox
☆27Nov 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☆13May 31, 2021Updated 5 years ago
- ☆11Aug 29, 2018Updated 7 years ago
- Qualitative Spatial Relations library☆18Jul 30, 2020Updated 6 years ago
- ☆24Mar 1, 2024Updated 2 years 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.
- A Cytoscape.js extension for the hierarchical clustering algorithm☆10Jul 26, 2017Updated 9 years ago
- Run Docker apps on a BOINC project (like Cosmology@Home, etc...)☆12Jan 18, 2019Updated 7 years ago
- ☆19Jul 23, 2026Updated last week
- This library provides expression trees for representation of geometric expressions and automatic differentiation of these expressions. Th…☆14Jun 17, 2026Updated last month
- Illustration of counterfactual inference following Ferenc Huszar example☆13Aug 15, 2025Updated 11 months ago
- This repo contains active learning query strategies as introduced in our GCPR 2013 paper.☆12Aug 12, 2013Updated 12 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 9 years ago
- PyData San Luis 2017 Tutorial: An Introduction to Gaussian Processes in PyMC3☆14Nov 16, 2017Updated 8 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆21Oct 19, 2025Updated 9 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 7 years ago
- ☆23Apr 17, 2023Updated 3 years ago
- a library for deep reinforcement learning, with applications for navigation☆16Feb 6, 2018Updated 8 years ago
- A web service for graph visualisation of authors and their coauthor communities of the DBLP Computer Science Bibliography☆13Jun 7, 2017Updated 9 years 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.
- An awesome reading list for intuitive physics raning from cognitive studies to computational studies.☆21Aug 2, 2024Updated 2 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Apr 28, 2026Updated 3 months ago
- 3d spatially aware event emitter☆30May 3, 2014Updated 12 years ago
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- Port of Aleph to SWI-Prolog☆54Feb 7, 2024Updated 2 years ago
- An open source CalDAV implementation for .NET and Mono, built on Data Abstract.☆12Oct 22, 2012Updated 13 years ago
- Reimplementation of "An Object-Oriented Representation for Efficient RL"☆17Sep 12, 2024Updated last year
- Collection of notebooks☆17Oct 27, 2024Updated last year
- Lua implemented in Mercury☆15May 5, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆15Jul 3, 2026Updated last month
- 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.☆21Nov 3, 2019Updated 6 years ago
- BThread - Thread messaging and blog posting on bitcoin blockchain☆33Jun 5, 2014Updated 12 years ago
- The code runs on the netronome smart card to filtering PPPoE and PPP control plane packet send to vbras and Decap\Encap data plane packet…☆11Jun 21, 2017Updated 9 years ago