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 13 12

  2. CFPQ_Data CFPQ_Data Public

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

    Python 10 15

  3. GLL4Graph GLL4Graph Public

    Forked from iguana-parser/iguana

    GLL-based context-free path querying algorithm

    Java 4 2

  4. FormalLanguageConstrainedReachability-LectureNotes FormalLanguageConstrainedReachability-LectureNotes Public

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

    TeX 4 10

  5. formal-lang-course formal-lang-course Public

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

    Python 6 140

Repositories

Showing 9 of 9 repositories
  • 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 10 3 3 Updated Dec 3, 2024
  • CFPQ_PyAlgo Public

    The collection of Context-Free Path Querying algorithms

    FormalLanguageConstrainedPathQuerying/CFPQ_PyAlgo’s past year of commit activity
    Python 13 Apache-2.0 12 3 1 Updated Dec 2, 2024
  • UCFS Public Forked from vadyushkins/kotgll

    Universal GLL-based Context-Free solver

    FormalLanguageConstrainedPathQuerying/UCFS’s past year of commit activity
    Kotlin 0 MIT 6 8 2 Updated Nov 14, 2024
  • formal-lang-course Public

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

    FormalLanguageConstrainedPathQuerying/formal-lang-course’s past year of commit activity
    Python 6 Apache-2.0 140 9 1 Updated Nov 5, 2024
  • FormalLanguageConstrainedReachability-LectureNotes Public

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

    FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes’s past year of commit activity
    TeX 4 CC-BY-SA-4.0 10 20 3 Updated Oct 27, 2024
  • CFPQ_Data Public

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

    FormalLanguageConstrainedPathQuerying/CFPQ_Data’s past year of commit activity
    Python 10 15 13 (6 issues need help) 1 Updated Sep 11, 2024
  • CFPQ_JavaGraphMiner Public

    Java Graph Miner for CFPQ-based analyses

    FormalLanguageConstrainedPathQuerying/CFPQ_JavaGraphMiner’s past year of commit activity
    Kotlin 0 Apache-2.0 0 0 0 Updated May 20, 2024
  • .github Public

    Community description

    FormalLanguageConstrainedPathQuerying/.github’s past year of commit activity
    0 MIT 0 0 0 Updated Apr 1, 2024
  • GLL4Graph Public Forked from iguana-parser/iguana

    GLL-based context-free path querying algorithm

    FormalLanguageConstrainedPathQuerying/GLL4Graph’s past year of commit activity
    Java 4 16 0 1 Updated Oct 5, 2023

Top languages

Loading…

Most used topics

Loading…