GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • FormalLanguageConstrainedPathQuerying
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — 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

  • Lecture notes on formal language constrained path querying. In Russian, in progress.
  • Course on formal language constrained path querying. In Russian.

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 13

  6. CFPQ_JavaGraphMiner CFPQ_JavaGraphMiner Public

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

    Kotlin 1

Repositories

Loading
Type
Language
Sort
Showing 10 of 12 repositories
  • FormalLanguageConstrainedReachability-LectureNotes Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

    FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes's past year of commit activity
    TeX 7 CC-BY-SA-4.0 12 21 4 Updated Nov 11, 2026
  • FLPQ_Data Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

    FormalLanguageConstrainedPathQuerying/FLPQ_Data's past year of commit activity
    Python 13 16 6 (3 issues need help) 1 Updated Nov 4, 2026
  • FLPQ_sharp_edu Public

    FLPQ algortihms for book and education

    Uh oh!

    There was an error while loading. Please reload this page.

    FormalLanguageConstrainedPathQuerying/FLPQ_sharp_edu's past year of commit activity
    0 MIT 0 35 0 Updated Nov 2, 2026
  • UCFS Public Forked from vivalerievich/kotgll

    Universal GLL-based Context-Free solver

    Uh oh!

    There was an error while loading. Please reload this page.

    FormalLanguageConstrainedPathQuerying/UCFS's past year of commit activity
    Kotlin 4 MIT 18 11 3 Updated Oct 17, 2026
  • formal-lang-course Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

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

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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

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

People

@gsvgit

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.