qualitative spatio-temporal reasoning toolbox
☆24Nov 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
Sorting:
- ☆10Aug 29, 2018Updated 7 years ago
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆13May 31, 2021Updated 4 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago
- Igor Pro data analysis procedures☆15Sep 26, 2020Updated 5 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- My best Java class to compress any String, short or long, with any character of human history☆12Feb 16, 2026Updated 2 weeks ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- 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 10 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
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- ODIN console files, for remote control of PowerSDR☆13Aug 11, 2021Updated 4 years ago
- ToneGod's graphical user-interface library for jMonkeyEngine3☆10Updated this week
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆10May 4, 2019Updated 6 years ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- A stellar cartography system☆17Feb 4, 2026Updated last month
- A Universal Binary JSON (UBJSON) parser, renderer and builder☆10Jul 6, 2013Updated 12 years ago
- Java streams utility methods for memoization☆11Dec 12, 2024Updated last year
- Cycling Level of Stress Map☆10Jan 19, 2018Updated 8 years ago
- Implementation of the relational algebra☆37Dec 6, 2016Updated 9 years ago
- Index calculations for balanced binary search trees in in-order layout☆10Apr 28, 2014Updated 11 years ago
- Flow based Visual Programming☆12Dec 16, 2015Updated 10 years ago
- Automated Measurement and Analysis of Open-Source Software☆14Oct 6, 2017Updated 8 years ago
- An idiomatic kotlin dataframe toolkit for data engineering tasks of any size dataset☆10Jul 16, 2025Updated 7 months ago
- Encode & decode any text into any custom alphabet, multibyte code points supported.☆10Jan 16, 2017Updated 9 years ago
- A command-line benchmarking tool to measure the startup times of programs in various languages☆14Oct 17, 2020Updated 5 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- UM1 test programs and sample code☆11Jul 25, 2022Updated 3 years ago
- A Mercury CSV library.☆13Feb 18, 2026Updated 2 weeks ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- location-based resource tracking☆10Jan 30, 2022Updated 4 years ago
- crowd-defunding☆10Feb 3, 2026Updated last month
- JavaGenes.0.7.68 from NASA☆15Mar 2, 2012Updated 14 years ago
- Video library for Java on Linux☆10Nov 18, 2019Updated 6 years ago
- Bitcoin payment channel library☆11Jul 12, 2017Updated 8 years ago
- Various Pike modules☆18Aug 17, 2016Updated 9 years ago