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 12

  2. CFPQ_Data CFPQ_Data Public

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

    Python 10 15

  3. FormalLanguageConstrainedReachability-LectureNotes FormalLanguageConstrainedReachability-LectureNotes Public

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

    TeX 4 10

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

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

    Python 7 160

  5. UCFS UCFS Public

    Forked from vadyushkins/kotgll

    Universal GLL-based Context-Free solver

    Kotlin 2 8

  6. CFPQ_JavaGraphMiner CFPQ_JavaGraphMiner Public

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

    Kotlin

Repositories

Showing 9 of 9 repositories

Top languages

Loading…

Most used topics

Loading…