Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

CakeML/cakeml

Inicia sesión para seguir Ver en GitHub

CakeML: A Verified Implementation of ML

¿Es CakeML/cakeml apto para principiantes?

En los últimos 30 días, CakeML/cakeml fusionó 26 de 33 pull requests de colaboradores externos, y sus mantenedores suelen responder en 2 días. Ahora mismo hay 3 issues aptos para principiantes abiertos.

Estrellas
1.2k
Forks
106
Issues abiertos para principiantes
3
Issues indexados
247
Merge medio
2 d 1 h
PR fusionados (30 d)
28
Lenguaje dominante
Standard ML
Licencia
BSD-3-Clause
Último push a GitHub
28/9/2026
Última indexación
14/9/2026
Sin guía de contribución
Código de conducta
Etiquetas para principiantes
help wanted good first issue

Cómo contribuir a CakeML/cakeml

  1. No hay guía de contribución, así que empieza por el README y por algunos pull requests fusionados hace poco para ver cómo se proponen los cambios.
  2. Lee su código de conducta: se aplica a los issues y pull requests igual que al chat.
  3. Tus contribuciones se publicarán bajo la licencia BSD-3-Clause del proyecto.
  4. Elige uno de los 3 issues abiertos aptos para principiantes de abajo y comenta que quieres trabajar en él antes de empezar.
Para principiantes Todo
Abierto Todos

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

  • Pancake: Update `panItreeAbsTheory` for the decompiler
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1532 ·

    Los mantenedores suelen responder en 2 días

  • Pancake: Remove uses of `srw_ss()` in the decompiler library and add a `.sig` file
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1531 ·

    Los mantenedores suelen responder en 2 días

  • Pancake unary operators
    Abierto
    • ¿Algo no está bien?
    low effort Pancake user experience

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

    CakeML/cakeml#1522 ·

    Los mantenedores suelen responder en 2 días

  • Pancake else-if syntax
    Abierto
    • ¿Algo no está bien?
    enhancement medium effort Pancake user experience

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

    CakeML/cakeml#1521 ·

    Los mantenedores suelen responder en 2 días

  • Pancake global string constants
    Abierto
    • ¿Algo no está bien?
    Pancake user experience

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

    CakeML/cakeml#1520 ·

    Los mantenedores suelen responder en 2 días

  • Exploit TMC more in the codebase
    Abierto
    • ¿Algo no está bien?
    good first issue looking for LLMs performance

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

    CakeML/cakeml#1513 ·

    Los mantenedores suelen responder en 2 días

  • Add bit ops and build a bitset API
    Abierto
    • ¿Algo no está bien?
    basis extensions performance

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

    CakeML/cakeml#1512 ·

    Los mantenedores suelen responder en 2 días

  • Translator fails to reduce definition to single line but manually applying onelineify then translating succeeds
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1503 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • Missing mapping symbols in exported assembly
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1493 ·

    Los mantenedores suelen responder en 2 días

  • Do simple clean up of misc
    Abierto
    • ¿Algo no está bien?
    looking for LLMs refactoring

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

    CakeML/cakeml#1489 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • Unsafe arithmetic with witnesses of "smallnumness"
    Abierto
    • ¿Algo no está bien?
    enhancement medium effort performance

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

    CakeML/cakeml#1485 ·

    Los mantenedores suelen responder en 2 días

  • Cleanup astScript
    Abierto
    • ¿Algo no está bien?
    looking for LLMs low reward

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

    CakeML/cakeml#1480 ·

    Los mantenedores suelen responder en 2 días

  • Improve compilation of Pancake's exception
    Abierto
    • ¿Algo no está bien?
    Pancake

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

    CakeML/cakeml#1475 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • Check for struct shape removal in Pancake's Return semantics
    Abierto
    • ¿Algo no está bien?
    low effort Pancake

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

    CakeML/cakeml#1474 ·

    Los mantenedores suelen responder en 2 días

  • Add unlink filesystem operation
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1473 ·

    Los mantenedores suelen responder en 2 días

  • Reorganise Pancake directory
    Abierto
    • ¿Algo no está bien?
    dev experience Pancake refactoring

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

    CakeML/cakeml#1471 · 3 comentarios ·

    Los mantenedores suelen responder en 2 días

  • Link binary with (recently added) features - Pancake
    Abierto
    • ¿Algo no está bien?
    Pancake

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

    CakeML/cakeml#1469 · 11 comentarios ·

    Los mantenedores suelen responder en 2 días

  • Refactor simps in fsFFIProps
    Abierto
    • ¿Algo no está bien?
    good first issue refactoring

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

    CakeML/cakeml#1468 ·

    Los mantenedores suelen responder en 2 días

  • Make Pancake exceptions more intuitive
    Abierto
    • ¿Algo no está bien?
    enhancement medium effort Pancake

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

    CakeML/cakeml#1463 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • Pancake __add_with_carry___ has unfortunate parser interactions
    Abierto
    • ¿Algo no está bien?
    low effort Pancake refactoring

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

    CakeML/cakeml#1462 · 1 reacción ·

    Los mantenedores suelen responder en 2 días

  • Translating mutually recursive datatypes produces a bunch of warnings
    Abierto
    • ¿Algo no está bien?
    translator

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

    CakeML/cakeml#1461 ·

    Los mantenedores suelen responder en 2 días

  • Populate WordLang's non-GCed cutsets with known non-pointers
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1456 ·

    Los mantenedores suelen responder en 2 días

  • Reduce DataLang cutsets by rematerialising constants closer to use
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1455 ·

    Los mantenedores suelen responder en 2 días

  • Repeated Array.sub of the same array and index retains a redundant bounds check
    Abierto
    • ¿Algo no está bien?
    high reward performance

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

    CakeML/cakeml#1454 ·

    Los mantenedores suelen responder en 2 días

  • Local named functions can allocate dead closures after inlining
    Abierto
    • ¿Algo no está bien?
    bug high reward performance

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

    CakeML/cakeml#1453 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • CakeML checkers should call Runtime.exit with error codes
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1428 ·

    Los mantenedores suelen responder en 2 días

  • Target official RISCV semantics
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1412 ·

    Los mantenedores suelen responder en 2 días

  • Use monad API instead of overloads
    Abierto
    • ¿Algo no está bien?
    low effort refactoring

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

    CakeML/cakeml#1411 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • Delete old_X from codebase
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1408 · 1 reacción ·

    Los mantenedores suelen responder en 2 días

  • Adding dynamic arrays to CakeML's (extended?) basis
    Abierto
    • ¿Algo no está bien?
    basis extensions enhancement

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

    CakeML/cakeml#1386 ·

    Los mantenedores suelen responder en 2 días

  • Adding Substring module to CakeML's basis library
    Abierto
    • ¿Algo no está bien?
    basis extensions enhancement translator

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

    CakeML/cakeml#1379 · 3 comentarios · 2 reacciones ·

    Los mantenedores suelen responder en 2 días

  • Remove opens in bootstrap translation
    Abierto
    • ¿Algo no está bien?
    dev experience enhancement refactoring

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

    CakeML/cakeml#1373 ·

    Los mantenedores suelen responder en 2 días

  • Make Candle's compute_init set a boolean reference
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    CakeML/cakeml#1371 ·

    Los mantenedores suelen responder en 2 días

  • Scope checking issue with unverified build of pancake
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1369 ·

    Los mantenedores suelen responder en 2 días

  • Candle implementation is duplicated in an unclear way
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1368 ·

    Los mantenedores suelen responder en 2 días

  • Could we use the agents to clean up lib code to use Syntax defs?
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    CakeML/cakeml#1347 · 4 comentarios · 1 asignado ·

    Los mantenedores suelen responder en 2 días

  • Add delete const (and delete type) to Candle
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1343 ·

    Los mantenedores suelen responder en 2 días

  • Separate monadic translation from monadic defs
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1342 · 1 comentario ·

    Los mantenedores suelen responder en 2 días

  • Make int-to-string conversion a primitive in CakeML
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    CakeML/cakeml#1334 ·

    Los mantenedores suelen responder en 2 días

  • Fix callee-saved registers for Pancake entry points on x64 Windows
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1333 ·

    Los mantenedores suelen responder en 2 días

  • Simplify README.md generation
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1326 ·

    Los mantenedores suelen responder en 2 días

  • Add unsafe stringsub and make translator translate to it.
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    looking for LLMs

    CakeML/cakeml#1320 · 1 comentario · 1 asignado ·

    Los mantenedores suelen responder en 2 días

  • cv_compute ml_optimise
    Abierto
    • ¿Algo no está bien?
    translator

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

    CakeML/cakeml#1319 · 2 comentarios ·

    Los mantenedores suelen responder en 2 días

  • Translator fails coersion when the char list gets stuck in the list
    Abierto
    • ¿Algo no está bien?
    low priority low reward translator

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

    CakeML/cakeml#1318 · 3 comentarios ·

    Los mantenedores suelen responder en 2 días

  • Make REPL allow user-defined parsers
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    CakeML/cakeml#1314 ·

    Los mantenedores suelen responder en 2 días

  • Fast string -> 'a lookup for use in CakeML
    Abierto
    • ¿Algo no está bien?
    basis extensions

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

    CakeML/cakeml#1311 ·

    Los mantenedores suelen responder en 2 días

  • Speed up the cf tactics
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1302 · 4 comentarios ·

    Los mantenedores suelen responder en 2 días

  • Remove 'a from wordLang AST onwards
    Abierto
    • ¿Algo no está bien?
    high effort medium reward

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

    CakeML/cakeml#1295 ·

    Los mantenedores suelen responder en 2 días

  • Use vectors in candle's compute expressions
    Abierto
    • ¿Algo no está bien?

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

    CakeML/cakeml#1293 ·

    Los mantenedores suelen responder en 2 días

  • cv_trans fails with "non-cv constant" on MEM with constructor list
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    CakeML/cakeml#1292 · 3 comentarios · 1 asignado ·

    Los mantenedores suelen responder en 2 días

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.