jbotsim / JBotSim
JBotSim Core Files
☆25Updated 3 years ago
Alternatives and similar repositories for JBotSim:
Users that are interested in JBotSim are comparing it to the libraries listed below
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆44Updated 5 years ago
- ☆42Updated 2 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆52Updated last year
- A Fast Graph Neural Network Library written in Native Java☆20Updated 2 weeks ago
- WebGraph framework with extensions☆23Updated 10 years ago
- CP 2015 subgraph isomorphism experiments, data and paper☆13Updated 9 years ago
- ☆9Updated 3 months ago
- WebGraph is a framework for graph compression.☆15Updated 11 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 8 months ago
- ☆12Updated 8 years ago
- NetworkX Addon to allow graph partitioning with METIS☆78Updated 2 years ago
- Docker Images, installation scripts, and testing & benchmarking suite for Graph Databases☆36Updated 3 years ago
- ☆23Updated 3 years ago
- C implementation of algorithms to find the Density-Friendly graph decomposition☆12Updated 5 years ago
- Moise is an organisational platform for Multi-Agent Systems☆14Updated 2 months ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- ☆11Updated 3 years ago
- Intel LevelZero JNI library for TornadoVM☆12Updated 6 months ago
- A parallel packed CSR data structure for large-scale dynamic graphs☆14Updated 2 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆37Updated last month
- XCSP3 Tools in Java☆22Updated 2 months ago
- The GraphBuilder library provides functions to construct large scale graphs. It is implemented on Apache Hadoop.☆97Updated 10 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- Benchmarking the Chase☆9Updated 7 years ago
- Multiple Local Community Detection☆17Updated 7 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- GossipMap: distributed parallel community detection algorithm☆22Updated 9 years ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆17Updated 6 years ago