Owner

Bram-Hub

登录后关注

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

LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

Java · 36 个 star
aris
Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

Rust · 12 个 star
Sunflower
A React TypeScript interface for creating recursive functions from drag-and-drop blocks.

TypeScript · 0 个 star

适合新手全部

未关闭全部

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

[BUG] ShortTruthTable Directions wrong url
未关闭
- 哪里不对？
bug

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

Bram-Hub/LEGUP#999 · 2 条评论 · 2026年9月26日创建
[ENHANCEMENT] Wiki instructions for how to input statements for short truth-tables in the puzzle editor
未关闭
- 哪里不对？
enhancement good first issue

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

Bram-Hub/LEGUP#998 · 2 条评论 · 2026年9月25日创建
[BUG] Immediate Feedback Preference Not Used
未关闭
- 哪里不对？
bug

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

Bram-Hub/LEGUP#997 · 2026年9月25日创建
[FEATURE] Collapse tree view elements
未关闭
- 哪里不对？
enhancement new feature proof editor ui

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

Bram-Hub/LEGUP#994 · 2026年8月27日创建
[ENHANCEMENT] PuzzleElement type safety
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#992 · 2026年8月23日创建
[BUG] TreeView merged node overlap
可能重新可做 @Mystin 于 40 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
bug

Bram-Hub/LEGUP#991 · 已指派 1 人 · 2026年8月18日创建
[ENHANCEMENT] ScrollView Rewrite
可能重新可做 @Mystin 于 59 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
enhancement

Bram-Hub/LEGUP#990 · 已指派 1 人 · 2026年7月30日创建
[BUG] HiDPI Scroll Jittering
可能重新可做 @Mystin 于 105 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
bug ui

Bram-Hub/LEGUP#988 · 已指派 1 人 · 2026年6月14日创建
[ENHANCEMENT] General region border drawing
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#981 · 2026年4月26日创建
UI Overhaul
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 25/100

Bram-Hub/Sunflower#30 · 2026年4月1日创建
[ENHANCEMENT] <description> Sudoku add ability to enter numbers via keyboard
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#935 · 2025年10月28日创建
[ENHANCEMENT] Engine Tests and Rewrite
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#930 · 1 条评论 · 2025年10月17日创建
[ENHANCEMENT] Restrict Rules within Puzzles
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#929 · 2025年10月14日创建
Add to BramHUB DNS
可能重新可做 @yanga27 于 179 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
Bram-Hub/Sunflower#11 · 已指派 1 人 · 2025年9月8日创建
[BUG] Star Battle: Additional changes made to earlier transitions are not forward propagated
未关闭
- 哪里不对？
bug

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

Bram-Hub/LEGUP#915 · 2025年6月24日创建
[ENHANCEMENT] Redo Starbattle border rendering
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#905 · 2025年4月4日创建
[ENHANCEMENT] Writing text off the side of the board
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#903 · 2025年4月1日创建
[BUG] Deleting Node from Merged Tree
可能重新可做 @jadeandtea 于 664 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
bug

Bram-Hub/LEGUP#863 · 2 条评论 · 已指派 1 人 · 2024年10月8日创建
[ENHANCEMENT] [macos] File Selection Screen does not allow for Symlinked Folders.
未关闭
- 哪里不对？
enhancement macos

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

Bram-Hub/LEGUP#861 · 2024年10月3日创建
[BUG] Build requires CheckStyle to pass, which causes issues with the autoformatter
未关闭
- 哪里不对？
bug good first issue

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

Bram-Hub/LEGUP#817 · 2024年4月16日创建
[ENHANCEMENT] Case rule tests should test justifying changes with case rules
未关闭
- 哪里不对？
enhancement test

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

Bram-Hub/LEGUP#777 · 2024年3月27日创建
[ENHANCEMENT] Add JetBrains Annotations
未关闭
- 哪里不对？
documentation enhancement wiki

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

Bram-Hub/LEGUP#731 · 2024年2月12日创建
[BUG] Case Rules Called Multiple Times
未关闭
- 哪里不对？
bug nurikabe

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

Bram-Hub/LEGUP#724 · 1 条评论 · 2024年2月6日创建
[ENHANCEMENT] Region Logic
可能重新可做 @cadogs 于 971 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
enhancement new feature

Bram-Hub/LEGUP#711 · 已指派 5 人 · 2024年1月30日创建
Tree Tent test improvements
未关闭
- 哪里不对？
test tree tent

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

Bram-Hub/LEGUP#701 · 2023年12月13日创建
[BUG] TreeTent linked cells bug
未关闭
- 哪里不对？
bug tree tent

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

Bram-Hub/LEGUP#700 · 2023年12月13日创建
[FEATURE] Short Truth Table Free Variable Direct Rule
未关闭
- 哪里不对？
new feature short truth table

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

Bram-Hub/LEGUP#677 · 2023年10月31日创建
[TEST] Fillapix - Touching Sides Direct Rule
可能重新可做 @pitbull51067 于 730 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
fillapix test

Bram-Hub/LEGUP#647 · 已指派 1 人 · 2023年10月10日创建
[TEST] Fillapix - Touching Corners Direct Rule
可能重新可做 @pitbull51067 于 710 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
fillapix test

Bram-Hub/LEGUP#646 · 已指派 1 人 · 2023年10月10日创建
[TEST] Fillapix - Too Many Black Cells Contradiction Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#645 · 2023年10月10日创建
[TEST] Fillapix - Too Few Black Cells Contradiction Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#644 · 2023年10月10日创建
[TEST] Fillapix - Satisfy Clue Case Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#643 · 2023年10月10日创建
[TEST] Fillapix - Non-Touching Shared Direct Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#642 · 2023年10月10日创建
[TEST] Mirror Direct Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#641 · 2023年10月10日创建
[TEST] Finish With White Direct Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#640 · 2023年10月10日创建
[TEST] Fillapix - Finish With Black Direct Rule
可能重新可做 @pitbull51067 于 681 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
fillapix test

Bram-Hub/LEGUP#639 · 已指派 1 人 · 2023年10月10日创建
[TEST] Fillapix - Black or White Case Rule
未关闭
- 哪里不对？
fillapix test

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

Bram-Hub/LEGUP#638 · 2023年10月10日创建
[BUG] Resize Board does not work Puzzle Editor
未关闭
- 哪里不对？
bug

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

Bram-Hub/LEGUP#568 · 2023年8月10日创建
[BUG & ENHANCEMENT] Dealing with Contradictions -> adding references to rules
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#560 · 2023年6月22日创建
[ENHANCEMENT] Update Wiki for General LEGUP use
未关闭
- 哪里不对？
enhancement good first issue wiki

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

Bram-Hub/LEGUP#552 · 2023年6月7日创建
[ENHANCEMENT] 'Clean Proof' feature
未关闭
- 哪里不对？
enhancement

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

Bram-Hub/LEGUP#550 · 2023年6月7日创建
[ENHANCEMENT] New Icons needed! (Icon editor feature?)
未关闭
- 哪里不对？
enhancement new feature wiki

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

Bram-Hub/LEGUP#525 · 3 条评论 · 2023年4月7日创建
RUSTSEC-2022-0048: xml-rs is Unmaintained
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 35/100

Bram-Hub/aris#103 · 2023年3月27日创建
Clear History is not Implemented in the PuzzleEditor Panel
未关闭
- 哪里不对？
bug puzzle editor

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

Bram-Hub/LEGUP#479 · 2 条评论 · 2023年2月24日创建
[ENHANCEMENT] Add more flag options for Short Truth Table files
未关闭
- 哪里不对？
enhancement short truth table

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

Bram-Hub/LEGUP#446 · 1 条评论 · 2023年2月10日创建
[ENHANCEMENT] Main LEGUP tutorial page
未关闭
- 哪里不对？
documentation enhancement good first issue

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

Bram-Hub/LEGUP#429 · 1 条评论 · 2023年2月3日创建
[ENHANCEMENT Exit solve puzzle / puzzle editor behavior
未关闭
- 哪里不对？
enhancement good first issue macos puzzle editor

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

Bram-Hub/LEGUP#349 · 2022年10月26日创建
[BUG] Undo functionality doesn't work in New Puzzle editor
未关闭
- 哪里不对？
bug

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

Bram-Hub/LEGUP#288 · 2022年9月20日创建
[Feature] Dependency and License List
未关闭
- 哪里不对？
documentation new feature

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

Bram-Hub/LEGUP#136 · 2022年6月13日创建
[BUG] Masyu: undoing drawn lines doesn't remove them from the screen
未关闭
- 哪里不对？
bug masyu

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

Bram-Hub/LEGUP#117 · 1 条评论 · 2022年6月7日创建

Bram-Hub

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

把新 issue 发到你的邮箱