Bram-Hub

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• [ENHANCEMENT] Fullscreen doesn't stay between windows

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

  Bram-Hub/LEGUP#1002 · Abierto el 29/9/2026

• [BUG] Immediate Feedback Preference Not Used

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#997 · Abierto el 25/9/2026

• [FEATURE] Collapse tree view elements

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement new feature proof editor ui

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#994 · Abierto el 27/8/2026

• [ENHANCEMENT] PuzzleElement type safety

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

  Bram-Hub/LEGUP#992 · Abierto el 23/8/2026

• [ENHANCEMENT] General region border drawing

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/LEGUP#981 · Abierto el 26/4/2026

• UI Overhaul

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/Sunflower#30 · Abierto el 1/4/2026

• [ENHANCEMENT] <description> Sudoku add ability to enter numbers via keyboard

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#935 · Abierto el 28/10/2025

• [ENHANCEMENT] Engine Tests and Rewrite

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/LEGUP#930 · 1 comentario · Abierto el 17/10/2025

• [ENHANCEMENT] Restrict Rules within Puzzles

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#929 · Abierto el 14/10/2025

• Add to BramHUB DNS

  Quizá libre de nuevo @yanga27 la tomó hace 193 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Bram-Hub/Sunflower#11 · 1 asignado · Abierto el 8/9/2025

• [BUG] Star Battle: Additional changes made to earlier transitions are not forward propagated

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#915 · Abierto el 24/6/2025

• [ENHANCEMENT] Writing text off the side of the board

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

  Bram-Hub/LEGUP#903 · Abierto el 1/4/2025

• [BUG] Deleting Node from Merged Tree

  Quizá libre de nuevo @jadeandtea la tomó hace 678 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Bram-Hub/LEGUP#863 · 2 comentarios · 1 asignado · Abierto el 8/10/2024

• [ENHANCEMENT] [macos] File Selection Screen does not allow for Symlinked Folders.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement macos

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#861 · Abierto el 3/10/2024

• [BUG] Build requires CheckStyle to pass, which causes issues with the autoformatter

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug good first issue

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#817 · Abierto el 16/4/2024

• [ENHANCEMENT] Case rule tests should test justifying changes with case rules

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement test

  Dificultad 3/5 1-2 días Aptitud para principiantes 38/100

  Bram-Hub/LEGUP#777 · Abierto el 27/3/2024

• [BUG] Case Rules Called Multiple Times

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug nurikabe

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  Bram-Hub/LEGUP#724 · 1 comentario · Abierto el 6/2/2024

• [ENHANCEMENT] Region Logic

  Quizá libre de nuevo @cadogs la tomó hace 985 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement new feature

  Bram-Hub/LEGUP#711 · 5 asignados · Abierto el 30/1/2024

• Tree Tent test improvements

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  test tree tent

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  Bram-Hub/LEGUP#701 · Abierto el 13/12/2023

• [BUG] TreeTent linked cells bug

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug tree tent

  Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

  Bram-Hub/LEGUP#700 · Abierto el 13/12/2023

• [FEATURE] Short Truth Table Free Variable Direct Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  new feature short truth table

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#677 · Abierto el 31/10/2023

• [TEST] Fillapix - Touching Sides Direct Rule

  Quizá libre de nuevo @pitbull51067 la tomó hace 744 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Bram-Hub/LEGUP#647 · 1 asignado · Abierto el 10/10/2023

• [TEST] Fillapix - Touching Corners Direct Rule

  Quizá libre de nuevo @pitbull51067 la tomó hace 724 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Bram-Hub/LEGUP#646 · 1 asignado · Abierto el 10/10/2023

• [TEST] Fillapix - Too Many Black Cells Contradiction Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#645 · Abierto el 10/10/2023

• [TEST] Fillapix - Too Few Black Cells Contradiction Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#644 · Abierto el 10/10/2023

• [TEST] Fillapix - Satisfy Clue Case Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#643 · Abierto el 10/10/2023

• [TEST] Fillapix - Non-Touching Shared Direct Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#642 · Abierto el 10/10/2023

• [TEST] Mirror Direct Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

  Bram-Hub/LEGUP#641 · Abierto el 10/10/2023

• [TEST] Finish With White Direct Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

  Bram-Hub/LEGUP#640 · Abierto el 10/10/2023

• [TEST] Fillapix - Finish With Black Direct Rule

  Quizá libre de nuevo @pitbull51067 la tomó hace 695 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Bram-Hub/LEGUP#639 · 1 asignado · Abierto el 10/10/2023

• [TEST] Fillapix - Black or White Case Rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  fillapix test

  Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

  Bram-Hub/LEGUP#638 · Abierto el 10/10/2023

• [BUG] Resize Board does not work Puzzle Editor

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#568 · Abierto el 10/8/2023

• [BUG & ENHANCEMENT] Dealing with Contradictions -> adding references to rules

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  Bram-Hub/LEGUP#560 · Abierto el 22/6/2023

• [ENHANCEMENT] Update Wiki for General LEGUP use

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement good first issue wiki

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#552 · Abierto el 7/6/2023

• [ENHANCEMENT] 'Clean Proof' feature

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/LEGUP#550 · Abierto el 7/6/2023

• [ENHANCEMENT] New Icons needed! (Icon editor feature?)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement new feature wiki

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/LEGUP#525 · 3 comentarios · Abierto el 7/4/2023

• RUSTSEC-2022-0048: xml-rs is Unmaintained

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Bram-Hub/aris#103 · Abierto el 27/3/2023

• [ENHANCEMENT] Add more flag options for Short Truth Table files

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement short truth table

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/LEGUP#446 · 1 comentario · Abierto el 10/2/2023

• [ENHANCEMENT] Main LEGUP tutorial page

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  documentation enhancement good first issue

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#429 · 1 comentario · Abierto el 3/2/2023

• [ENHANCEMENT Exit solve puzzle / puzzle editor behavior

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement good first issue macos puzzle editor

  Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

  Bram-Hub/LEGUP#349 · Abierto el 26/10/2022

• [BUG] Undo functionality doesn't work in New Puzzle editor

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/LEGUP#288 · Abierto el 20/9/2022

• [Feature] Dependency and License List

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  documentation new feature

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  Bram-Hub/LEGUP#136 · Abierto el 13/6/2022

• [BUG] Masyu: undoing drawn lines doesn't remove them from the screen

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug masyu

  Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

  Bram-Hub/LEGUP#117 · 1 comentario · Abierto el 7/6/2022

• Add a Drag and Drop Interface

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement new feature ui

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  Bram-Hub/LEGUP#101 · Abierto el 2/6/2022

• Keyboard shortcuts are read on every focused tab.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug UI WASM

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  Bram-Hub/aris#83 · 4 comentarios · Abierto el 28/4/2022

• Ctrl-R should add to the main premises list when used inside a subproof

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement UI

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/aris#71 · Abierto el 25/8/2020

• "File->Save proof" does nothing on expression tree tabs

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug UI

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  Bram-Hub/aris#67 · Abierto el 12/7/2020

• System for adding axioms

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement help wanted libaris UI WASM

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  Bram-Hub/aris#63 · 1 comentario · Abierto el 11/7/2020

• Add FO Con (First Order Consequence) rule

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement help wanted libaris

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  Bram-Hub/aris#62 · Abierto el 11/7/2020

• Improve subproof dependency selection

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement UI WASM

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  Bram-Hub/aris#59 · Abierto el 11/7/2020