Skip to content

Pull requests: DaisukeBekki/lightblue

New pull request New
10 Open 105 Closed
10 Open 105 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix: close the mo tag in the MathML of a signature
#275 opened Aug 14, 2026 by kohapizza Collaborator Loading…
feat: add toggleable signature display to proof search queries enhancement New feature or request
#274 opened Jul 22, 2026 by kohapizza Collaborator Loading…
1
@kohapizza
Oracleの実装を追加
#272 opened Jun 2, 2026 by hono-mame Collaborator Loading…
1
chore: .venvを.gitignoreに追加
#269 opened Apr 28, 2026 by miyagawananako Collaborator Loading…
@miyagawananako
Disjunctive anaphora enhancement New feature or request
#266 opened Mar 27, 2026 by DaisukeBekki Owner Loading…
@DaisukeBekki
2
feat: add Docker support for Express server
#259 opened Mar 18, 2026 by kohapizza Collaborator Loading…
@kohapizza
Integrating hasktorch enhancement New feature or request
#224 opened Dec 17, 2025 by DaisukeBekki Owner Loading…
1
@DaisukeBekki
3
複合動詞のフィルターの緩和 bug Something isn't working
#141 opened May 18, 2025 by morning85 Collaborator Loading…
@morning85
Add lexical entries for some ガヲ verbs ad-hoc fix Requests for something ad-hoc
#140 opened May 17, 2025 by DaisukeBekki Owner Loading…
1
@DaisukeBekki
Verbose option bug Something isn't working
#63 opened Nov 11, 2024 by DaisukeBekki Owner Loading…
@DaisukeBekki
ProTip! Type g i on any issue or pull request to go back to the issue listing page.