Skip to content
@FormalLanguageConstrainedPathQuerying

FormalLanguageConstrainedPathQuerying

README.md

Collection of materials on formal language constrained path querying: algorithms, lecture notes, dataset

Algorithms

  • CFPQ_PyAlgo -- a collection of linear algebra based algoriths for formal language constrained path querying.
  • UCFS -- GLL-based universal context-free solver.

Dataset

  • CFPQ_Data -- a data set for CFPQ and RPQ algortihms evaluation.

Education

Pinned Loading

  1. CFPQ_PyAlgo CFPQ_PyAlgo Public

    The collection of Context-Free Path Querying algorithms

    Python 14 14

  2. FLPQ_Data FLPQ_Data Public

    Graphs and grammars for Context-Free Path Querying algorithms evaluation.

    Python 13 16

  3. FormalLanguageConstrainedReachability-LectureNotes FormalLanguageConstrainedReachability-LectureNotes Public

    Материалы по достижимости с ограничениями в терминах формальных языков

    TeX 7 12

  4. formal-lang-course formal-lang-course Public

    Курс по формальным языкам: шаблон для домашних работ + материалы

    Python 7 179

  5. UCFS UCFS Public

    Forked from vivalerievich/kotgll

    Universal GLL-based Context-Free solver

    Kotlin 4 12

  6. CFPQ_JavaGraphMiner CFPQ_JavaGraphMiner Public

    Java graph miner and dataset for CFL-reachability-based analyses

    Kotlin 1

Repositories

Showing 10 of 12 repositories
  • FLPQ_Data Public

    Graphs and grammars for Context-Free Path Querying algorithms evaluation.

    FormalLanguageConstrainedPathQuerying/FLPQ_Data's past year of commit activity
    Python 13 16 32 (4 issues need help) 9 Updated Oct 8, 2026
  • FLPQ_sharp_edu Public

    FLPQ algortihms for book and education

    FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu's past year of commit activity
    0 MIT 0 0 0 Updated Oct 2, 2026
  • formal-lang-course Public

    Курс по формальным языкам: шаблон для домашних работ + материалы

    FormalLanguageConstrainedPathQuerying/formal-lang-course's past year of commit activity
    Python 7 Apache-2.0 179 14 2 Updated Sep 7, 2026
  • FormalLanguageConstrainedReachability-LectureNotes Public

    Материалы по достижимости с ограничениями в терминах формальных языков

    FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes's past year of commit activity
    TeX 7 CC-BY-SA-4.0 12 21 4 Updated Sep 4, 2026
  • UCFS Public Forked from vivalerievich/kotgll

    Universal GLL-based Context-Free solver

    FormalLanguageConstrainedPathQuerying/UCFS's past year of commit activity
    Kotlin 4 MIT 17 11 2 Updated Apr 27, 2026
  • wiki Public

    A repository of useful information on the topic of formal language constrained path quering.

    FormalLanguageConstrainedPathQuerying/wiki's past year of commit activity
    0 0 0 0 Updated Feb 13, 2026
  • CFPQ_PyAlgo Public

    The collection of Context-Free Path Querying algorithms

    FormalLanguageConstrainedPathQuerying/CFPQ_PyAlgo's past year of commit activity
    Python 14 Apache-2.0 14 3 0 Updated Dec 16, 2025
  • pyformlang Public Forked from Aunsiels/pyformlang

    A python library to manipulate formal languages and various automata

    FormalLanguageConstrainedPathQuerying/pyformlang's past year of commit activity
    Python 0 MIT 13 3 4 Updated Mar 25, 2025
  • GLL4Graph Public archive Forked from iguana-parser/iguana

    GLL-based context-free path querying algorithm

    FormalLanguageConstrainedPathQuerying/GLL4Graph's past year of commit activity
    Java 5 15 0 1 Updated Mar 4, 2025
  • CFPQ_JavaGraphMiner Public

    Java graph miner and dataset for CFL-reachability-based analyses

    FormalLanguageConstrainedPathQuerying/CFPQ_JavaGraphMiner's past year of commit activity
    Kotlin 1 Apache-2.0 0 0 0 Updated May 20, 2024
View all repositories