FormalLanguageConstrainedPathQuerying

All

9 repositories

UCFS
Public
Universal GLL-based Context-Free solver
graph-algorithms gll-parser error-recovery gll context-free-grammars cfl-r incremental-parsing cfpq
Kotlin
•
MIT License
•11•2•9•6•Updated Aug 7, 2025Aug 7, 2025
formal-lang-course
Public
Курс по формальным языкам: шаблон для домашних работ + материалы
Python
•
Apache License 2.0
•138•7•11•2•Updated Jul 17, 2025Jul 17, 2025
CFPQ_PyAlgo
Public
The collection of Context-Free Path Querying algorithms
pathfinding-algorithms context-free-grammars grapblas python
Python
•
Apache License 2.0
•13•14•3•0•Updated May 11, 2025May 11, 2025
pyformlang
Public
A python library to manipulate formal languages and various automata
Python
•
MIT License
•12•0•3•4•Updated Mar 25, 2025Mar 25, 2025
FormalLanguageConstrainedReachability-LectureNotes
Public
Материалы по достижимости с ограничениями в терминах формальных языков
graph-algorithms lecture-notes parsing-algorithm
TeX
•
Creative Commons Attribution Share Alike 4.0 International
•11•4•22•3•Updated Mar 18, 2025Mar 18, 2025
GLL4Graph
Public archive
GLL-based context-free path querying algorithm
neo4j graph-algorithms context-free-grammar cfpq-algo graphquery
Java
•
Other
•13•5•0•1•Updated Mar 4, 2025Mar 4, 2025
CFPQ_Data
Public
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
grammars graphs context-free dataset graph-dataset path-query cfpq-data
Python
•
Other
•15•10•13•1•Updated Sep 11, 2024Sep 11, 2024
CFPQ_JavaGraphMiner
Public
Java graph miner and dataset for CFL-reachability-based analyses
Kotlin
•
Apache License 2.0
•0•0•0•0•Updated May 20, 2024May 20, 2024
.github
Public
Community description
MIT License
•0•0•0•0•Updated Apr 1, 2024Apr 1, 2024