The collection of Context-Free Path Querying algorithms
☆14Dec 16, 2025Updated 7 months ago
Alternatives and similar repositories for CFPQ_PyAlgo
Users that are interested in CFPQ_PyAlgo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆11Sep 11, 2024Updated last year
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆33Mar 26, 2026Updated 3 months ago
- Papers sources, pictures, presentations, and other stuff☆24Jul 2, 2026Updated 2 weeks ago
- An open-source power profiling framework for Android☆12May 26, 2022Updated 4 years ago
- Annotator that adds scope information to an ast☆26Jun 23, 2025Updated last year
- 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.
- Automatically exported from code.google.com/p/type-inference☆27Jan 22, 2019Updated 7 years ago
- ☆14Apr 24, 2026Updated 2 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Resources on the GraphBLAS standard for graph algorithms in the language of linear algebra☆205Nov 20, 2025Updated 8 months ago
- A points-to and alias analysis benchmark suite☆42Sep 24, 2018Updated 7 years ago
- Idiomatic Kotlin extensions for ojAlgo☆26May 24, 2019Updated 7 years ago
- ☆28Aug 17, 2019Updated 6 years ago
- ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for…☆17Jan 22, 2025Updated last year
- 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.
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆55Mar 2, 2026Updated 4 months ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- ☆14Apr 24, 2024Updated 2 years ago
- A python library to manipulate formal languages and various automata☆62Sep 4, 2025Updated 10 months ago
- ☆15Oct 18, 2025Updated 9 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 7 years ago
- Tempest plugin for testing and verifying RBAC policy enforcement. Mirror of code maintained at opendev.org.☆11Apr 13, 2023Updated 3 years ago
- ☆11Apr 24, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A platform to evaluate techniques used in multicore graph processing.☆37Oct 25, 2018Updated 7 years ago
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org☆139Jun 16, 2023Updated 3 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆10Dec 8, 2016Updated 9 years ago
- 🌊 DuckLake website and specification☆15Updated this week
- Simple library for manipulating strings using OpenFST☆12Sep 26, 2021Updated 4 years ago
- Automatic generation of reviews of scientific papers☆30Apr 3, 2025Updated last year
- Abstract domain library for sets☆10Feb 23, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Mar 2, 2024Updated 2 years ago
- Implementation of the G-CORE graph query language on Spark☆15Aug 25, 2021Updated 4 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- TorcDB: A Low-Latency Graph Database on RAMCloud☆20Apr 27, 2019Updated 7 years ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 9 years ago