FormalLanguageConstrainedPathQuerying

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

• Cache manipulation API (clear_cache, cache_root, cached_versions)

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#152 · 1 bình luận · Mở ngày 5/10/2026

• Machine-global versioned cache with lazy downloads

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#151 · 1 bình luận · Mở ngày 5/10/2026

• Graph registry + metadata API (per-graph registry.json)

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#150 · 1 bình luận · Mở ngày 5/10/2026

• Design doc: record the core rework decisions in docs/flpq.rst

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#149 · 1 bình luận · Mở ngày 5/10/2026

• [FEATURE] Expose the dataset category of each graph

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#147 · Mở ngày 4/10/2026

• Strip stored reverse edges from 7 Java points-to archives and fix the checker to catch indexed-format reverses

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 75/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#146 · 1 bình luận · Mở ngày 3/10/2026

• [FEATURE] Cache downloaded graph datasets

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#140 · Mở ngày 27/9/2026

• [BUG] reachable_pairs.csv is missing from the 5.0.0 wheel; documentation link returns 404

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  bug task

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#139 · 1 bình luận · Mở ngày 27/9/2026

• [FEATURE] Add streaming MTX-to-TXT conversion

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#138 · Mở ngày 26/9/2026

• Task 50: Restructure the site to the FLPQ hierarchy (per-class query sections)

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#137 · 3 bình luận · Mở ngày 26/9/2026

• [BUG] Inconsistent Java points-to graph and grammar conventions across 21 datasets

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  bug

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#136 · 2 bình luận · Mở ngày 26/9/2026

• Task 49: Rename/restructure the package to flpq_data at 6.0.0

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#135 · 2 bình luận · Mở ngày 26/9/2026

• Remove untracked scratch files and gitignore test.csv

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 94/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#134 · 1 bình luận · Mở ngày 26/9/2026

• Align the site with the 6.0.0 dataset: re-point download links and sizes, drop stale references

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 74/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#133 · 1 bình luận · Mở ngày 26/9/2026

• Complete the [Unreleased] section of CHANGELOG.md with post-5.0.0 changes

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#132 · 1 bình luận · Mở ngày 26/9/2026

• [BUG] Reverse symbols are missing in Field-Sensitive Alias canonical grammar

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  bug

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#131 · 2 bình luận · Mở ngày 25/9/2026

• Task 58: Fill the stub results.mtx of the 6.0.0 archives for the 60 non-eligible graph/grammar pairs

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#130 · Mở ngày 25/9/2026

• Task 53: Rework benchmark page and respective data

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#129 · 1 bình luận · Mở ngày 25/9/2026

• Change instructions to use GitHub issues (via gh) instead of tasks.md for task logging and tracking

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  task

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#128 · 1 bình luận · Mở ngày 25/9/2026

• [BUG] LaTeX error in the C Alias grammar parameters

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  bug

  Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#127 · 1 bình luận · Mở ngày 22/9/2026

• Сменить rye на uv

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#221 · Mở ngày 9/1/2026

  Maintainer thường phản hồi trong vòng 4 ngày

• Поправить описание построения LL(k) таблицы

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#45 · Mở ngày 27/10/2025

• Warnings in tests

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#209 · Mở ngày 9/9/2025

  Maintainer thường phản hồi trong vòng 4 ngày

• Рассказывать три варианта RPQ

  Có thể làm lại được @gsvgit đã nhận 446 ngày trước và không có pull request nào đang mở. Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  enhancement

  FormalLanguageConstrainedPathQuerying/formal-lang-course#198 · 1 người được giao · Mở ngày 16/7/2025

  Maintainer thường phản hồi trong vòng 4 ngày

• Определение кольца

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#42 · 2 bình luận · Mở ngày 4/3/2025

• Исправления главы о MCFG

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#41 · Mở ngày 27/1/2025

• Тесты, проверяющие ерайние случаи со стартовыми и финальными вершинами. Задание 2.

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#175 · Mở ngày 15/9/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• [FEATURE] Add py.typed marker

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  enhancement

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#94 · Mở ngày 8/9/2024

• Добавить mypy или pyright

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#161 · 1 bình luận · Mở ngày 26/8/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Переехать на Pythongraphblas

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#158 · Mở ngày 24/8/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Ограничение на время выполнения алгоритмов

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#156 · Mở ngày 22/8/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Добавить про LED и восстановление после ошибок.

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#35 · Mở ngày 17/5/2024

• Добавить про LED и восстановление после ошибок

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#149 · Mở ngày 17/5/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Статья на DataED

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 30/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#145 · 1 bình luận · Mở ngày 13/5/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Рефакторинг решений

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#144 · Mở ngày 10/5/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Сделать нормальный генератор строк для регулярок

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#142 · 2 bình luận · Mở ngày 7/5/2024

  Maintainer thường phản hồi trong vòng 4 ngày

• Унифицировать вёрстку математики

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#34 · Mở ngày 3/2/2024

• Унфицировать вёрстку матриц

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#33 · Mở ngày 3/2/2024

• Унифицировать вёрстку и оформление примеров во всей работе

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#32 · Mở ngày 3/2/2024

• Довести до ума раздл "Общие сведения теории формальных языков"

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#31 · Mở ngày 3/2/2024

• Перенести про RSM и GLL из статьи про Neo4j

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 30/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#28 · Mở ngày 22/9/2023

• Вынести особенности реализации матричных алгоитмов в отдедльный раздел

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#27 · Mở ngày 3/8/2023

• Matrix-based multiple sources CFPQ

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#26 · Mở ngày 28/7/2023

• Написать раздел про RPQ

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#25 · Mở ngày 27/7/2023

• Написать раздел про достижимость с ограничениями в виде MCFG

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#24 · Mở ngày 27/7/2023

• Написать раздел про MCFG

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#23 · Mở ngày 27/7/2023

• Переделать раздел про полукольца и графы

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

  FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes#21 · Mở ngày 27/7/2023

• [FEATURE] Can we apply CFPQ to analyze Software Heritage

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  enhancement new data

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

  FormalLanguageConstrainedPathQuerying/CFPQ_Data#90 · Mở ngày 8/5/2023

• Использовать pytest-benchmark в экспериментах

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  Межсезонье

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

  FormalLanguageConstrainedPathQuerying/formal-lang-course#64 · Mở ngày 17/1/2023

  Maintainer thường phản hồi trong vòng 4 ngày