Owner

FormalLanguageConstrainedPathQuerying

登录后关注

已索引 5 个仓库 · 在 GitHub 查看

CFPQ_PyAlgo
The collection of Context-Free Path Querying algorithms

Python · 14 个 star
CFPQ_Data
Graphs and grammars for Context-Free Path Querying algorithms evaluation.

Python · 12 个 star
CFPQ-on-GPGPU

Cuda · 10 个 star
FormalLanguageConstrainedReachability-LectureNotes
Материалы по достижимости с ограничениями в терминах формальных языков

TeX · 7 个 star
formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы

Python · 7 个 star

适合新手全部

未关闭全部

可能已有人在做的 issue 排在最后。全部按时间排序

Cache manipulation API (clear_cache, cache_root, cached_versions)
未关闭
- 哪里不对？
task

难度 3/5 1-2 天新手友好度 58/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#152 · 2026年10月5日创建
Machine-global versioned cache with lazy downloads
未关闭
- 哪里不对？
task

难度 4/5 3-5 天新手友好度 48/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#151 · 2026年10月5日创建
Graph registry + metadata API (per-graph registry.json)
未关闭
- 哪里不对？
task

难度 4/5 3-5 天新手友好度 55/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#150 · 2026年10月5日创建
Design doc: record the core rework decisions in docs/flpq.rst
未关闭
- 哪里不对？
task

难度 3/5 1-2 天新手友好度 68/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#149 · 1 条评论 · 2026年10月5日创建
Rework the core for end users: metadata registry, lazy machine-global versioned cache
未关闭
- 哪里不对？
task

难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#148 · 2 条评论 · 2026年10月5日创建
[FEATURE] Expose the dataset category of each graph
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 72/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#147 · 2026年10月4日创建
Strip stored reverse edges from 7 Java points-to archives and fix the checker to catch indexed-format reverses
未关闭
- 哪里不对？
task

难度 3/5 1-2 天新手友好度 75/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#146 · 1 条评论 · 2026年10月3日创建
[FEATURE] Cache downloaded graph datasets
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 65/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#140 · 2026年9月27日创建
[BUG] reachable_pairs.csv is missing from the 5.0.0 wheel; documentation link returns 404
未关闭
- 哪里不对？
bug task

难度 2/5 1-3 小时新手友好度 78/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#139 · 1 条评论 · 2026年9月27日创建
[FEATURE] Add streaming MTX-to-TXT conversion
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 65/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#138 · 2026年9月26日创建
Task 50: Restructure the site to the FLPQ hierarchy (per-class query sections)
未关闭
- 哪里不对？
task

难度 4/5 3-5 天新手友好度 55/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#137 · 3 条评论 · 2026年9月26日创建
[BUG] Inconsistent Java points-to graph and grammar conventions across 21 datasets
未关闭
- 哪里不对？
bug

难度 4/5 3-5 天新手友好度 45/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#136 · 2 条评论 · 2026年9月26日创建
Task 49: Rename/restructure the package to flpq_data at 6.0.0
未关闭
- 哪里不对？
task

难度 5/5 一周以上新手友好度 35/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#135 · 2 条评论 · 2026年9月26日创建
Remove untracked scratch files and gitignore test.csv
未关闭
- 哪里不对？
task

难度 1/5 1 小时以内新手友好度 94/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#134 · 1 条评论 · 2026年9月26日创建
Align the site with the 6.0.0 dataset: re-point download links and sizes, drop stale references
未关闭
- 哪里不对？
task

难度 3/5 1-2 天新手友好度 74/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#133 · 1 条评论 · 2026年9月26日创建
Complete the [Unreleased] section of CHANGELOG.md with post-5.0.0 changes
未关闭
- 哪里不对？
task

难度 2/5 1-3 小时新手友好度 78/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#132 · 1 条评论 · 2026年9月26日创建
[BUG] Reverse symbols are missing in Field-Sensitive Alias canonical grammar
未关闭
- 哪里不对？
bug

难度 2/5 1-3 小时新手友好度 74/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#131 · 2 条评论 · 2026年9月25日创建
Task 58: Fill the stub results.mtx of the 6.0.0 archives for the 60 non-eligible graph/grammar pairs
未关闭
- 哪里不对？
task

难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#130 · 2026年9月25日创建
Task 53: Rework benchmark page and respective data
未关闭
- 哪里不对？
task

难度 4/5 3-5 天新手友好度 30/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#129 · 1 条评论 · 2026年9月25日创建
Change instructions to use GitHub issues (via gh) instead of tasks.md for task logging and tracking
未关闭
- 哪里不对？
task

难度 2/5 1-3 小时新手友好度 65/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#128 · 1 条评论 · 2026年9月25日创建
[BUG] LaTeX error in the C Alias grammar parameters
未关闭
- 哪里不对？
bug

难度 1/5 1 小时以内新手友好度 85/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#127 · 1 条评论 · 2026年9月22日创建
Сменить rye на uv
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 45/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#221 · 2026年1月9日创建

维护者通常 4 天内回复
Поправить описание построения LL(k) таблицы
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 45/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#45 · 2025年10月27日创建
Warnings in tests
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 35/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#209 · 2025年9月9日创建

维护者通常 4 天内回复
Рассказывать три варианта RPQ
可能重新可做 @gsvgit 于 446 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
enhancement

FormalLanguageConstrainedPathQuerying/formal-lang-course#198 · 已指派 1 人 · 2025年7月16日创建

维护者通常 4 天内回复
Определение кольца
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 35/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#42 · 2 条评论 · 2025年3月4日创建
Исправления главы о MCFG
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 45/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#41 · 2025年1月27日创建
Тесты, проверяющие ерайние случаи со стартовыми и финальными вершинами. Задание 2.
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 35/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#175 · 2024年9月15日创建

维护者通常 4 天内回复
[FEATURE] Add py.typed marker
未关闭
- 哪里不对？
enhancement

难度 2/5 1-3 小时新手友好度 45/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#94 · 2024年9月8日创建
Добавить mypy или pyright
未关闭
- 哪里不对？
Межсезонье

难度 4/5 3-5 天新手友好度 30/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#161 · 1 条评论 · 2024年8月26日创建

维护者通常 4 天内回复
Переехать на Pythongraphblas
未关闭
- 哪里不对？
Межсезонье

难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#158 · 2024年8月24日创建

维护者通常 4 天内回复
Ограничение на время выполнения алгоритмов
未关闭
- 哪里不对？
Межсезонье

难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#156 · 2024年8月22日创建

维护者通常 4 天内回复
Добавить про LED и восстановление после ошибок.
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 20/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#35 · 2024年5月17日创建
Добавить про LED и восстановление после ошибок
未关闭
- 哪里不对？
Межсезонье

难度 4/5 3-5 天新手友好度 25/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#149 · 2024年5月17日创建

维护者通常 4 天内回复
Статья на DataED
未关闭
- 哪里不对？
Межсезонье

难度 3/5 1-2 天新手友好度 30/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#145 · 1 条评论 · 2024年5月13日创建

维护者通常 4 天内回复
Рефакторинг решений
未关闭
- 哪里不对？
Межсезонье

难度 4/5 3-5 天新手友好度 20/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#144 · 2024年5月10日创建

维护者通常 4 天内回复
Сделать нормальный генератор строк для регулярок
未关闭
- 哪里不对？
Межсезонье

难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#142 · 2 条评论 · 2024年5月7日创建

维护者通常 4 天内回复
Унифицировать вёрстку математики
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 30/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#34 · 2024年2月3日创建
Унфицировать вёрстку матриц
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 35/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#33 · 2024年2月3日创建
Унифицировать вёрстку и оформление примеров во всей работе
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#32 · 2024年2月3日创建
Довести до ума раздл "Общие сведения теории формальных языков"
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 35/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#31 · 2024年2月3日创建
Перенести про RSM и GLL из статьи про Neo4j
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 30/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#28 · 2023年9月22日创建
Вынести особенности реализации матричных алгоитмов в отдедльный раздел
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 35/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#27 · 2023年8月3日创建
Matrix-based multiple sources CFPQ
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 25/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#26 · 2023年7月28日创建
Написать раздел про RPQ
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 20/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#25 · 2023年7月27日创建
Написать раздел про достижимость с ограничениями в виде MCFG
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 15/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#24 · 2023年7月27日创建
Написать раздел про MCFG
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 25/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#23 · 2023年7月27日创建
Переделать раздел про полукольца и графы
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 15/100

FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#21 · 2023年7月27日创建
[FEATURE] Can we apply CFPQ to analyze Software Heritage
未关闭
- 哪里不对？
enhancement new data

难度 5/5 一周以上新手友好度 25/100

FormalLanguageConstrainedPathQuerying/CFPQ_Data#90 · 2023年5月8日创建
Использовать pytest-benchmark в экспериментах
未关闭
- 哪里不对？
Межсезонье

难度 2/5 1-3 小时新手友好度 35/100

FormalLanguageConstrainedPathQuerying/formal-lang-course#64 · 2023年1月17日创建

维护者通常 4 天内回复

FormalLanguageConstrainedPathQuerying

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

把新 issue 发到你的邮箱