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

opencompl/veir

Inicia sesión para seguir Ver en GitHub

Verified Intermediate Representation

¿Es opencompl/veir apto para principiantes?

En los últimos 30 días, opencompl/veir fusionó 86 de 120 pull requests de colaboradores externos, y sus mantenedores suelen responder en 1 día. Ahora mismo no hay ningún issue apto para principiantes abierto; la lista de abajo muestra los demás issues que tenemos de este repositorio.

Estrellas
110
Forks
32
Issues abiertos para principiantes
0
Issues indexados
47
Merge medio
1 d 21 h
PR fusionados (30 d)
194
Lenguaje dominante
Lean
Licencia
Sin datos de licencia
Último push a GitHub
19/9/2026
Última indexación
15/9/2026
Sin guía de contribución
Sin código de conducta
Etiquetas para principiantes
good first issue

Cómo contribuir a opencompl/veir

  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. Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.
Para principiantes Todo
Abierto Todos

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

  • `interpretOp'_monotone_assumed` makes False provable
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#1716 ·

    Los mantenedores suelen responder en 1 día

  • Move hexDigit and decodeSymbolEscapes to forLean
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#1394 ·

    Los mantenedores suelen responder en 1 día

  • Integrate Out-of-Tree MLIR-based compilers into CI
    Abierto
    • ¿Algo no está bien?
    CI

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

    opencompl/veir#1332 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Add principled support for widening in the Dataflow Framework
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#1328 ·

    Los mantenedores suelen responder en 1 día

  • Adding SCF operations
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#1324 ·

    Los mantenedores suelen responder en 1 día

  • Dead Code Analysis has too many hard coded features (Need features from `BranchOpInterface`)
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    opencompl/veir#1319 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Support CIRCT's `seq` dialect
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    good first issue

    opencompl/veir#1317 · 1 comentario · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • bugs in mixed-width constants
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#1298 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • add tests for fp files
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    opencompl/veir#1287 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Create a `LocalPatternRewriter`
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    opencompl/veir#1171 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • support llvm.intr.uadd.with.overflow and its 5 friends
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    opencompl/veir#1125 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Support op::create(rewriter, <args>) style builders
    Abierto
    • ¿Algo no está bien?
    enhancement

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

    opencompl/veir#1114 ·

    Los mantenedores suelen responder en 1 día

  • Support --split-input-file
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#975 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • LLVM: properly define a type for `!llvm.struct` instead of UnregisteredAttr
    Abierto
    • ¿Algo no está bien?
    LLVM parser

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

    opencompl/veir#959 ·

    Los mantenedores suelen responder en 1 día

  • LLVM: support parsing omitted `!llvm.` prefix when nested
    Abierto
    • ¿Algo no está bien?
    LLVM parser sqlite

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

    opencompl/veir#952 ·

    Los mantenedores suelen responder en 1 día

  • sqlite parent issue
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    sqlite

    opencompl/veir#947 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Precise parsing of ` dense<0> : tensor<4xi8>`.
    Abierto
    • ¿Algo no está bien?
    sqlite

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

    opencompl/veir#943 ·

    Los mantenedores suelen responder en 1 día

  • Interpret `mlir__constant.dense` op
    Abierto
    • ¿Algo no está bien?
    sqlite

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

    opencompl/veir#941 ·

    Los mantenedores suelen responder en 1 día

  • Prime IR
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#937 ·

    Los mantenedores suelen responder en 1 día

  • Add macOS CI
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#853 ·

    Los mantenedores suelen responder en 1 día

  • Detect difference between non-termination and interpretation error
    Abierto
    • ¿Algo no está bien?
    bug

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

    opencompl/veir#700 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Support freeze and poison
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#635 ·

    Los mantenedores suelen responder en 1 día

  • Roadmap question: typed-SSA layer in Veir (Com/Expr/Ctxt) — community contribution?
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#627 · 2 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Add IR walkers
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    opencompl/veir#606 · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Implement `SymbolRefAttr` and remove `FlatSymbolRefAttr`
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#534 · 1 reacción ·

    Los mantenedores suelen responder en 1 día

  • Computational Floating Point Design
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#504 ·

    Los mantenedores suelen responder en 1 día

  • Lower FastNTT kernel
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#459 · 3 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Ensure that all proofs passed as arguments are marked `:= by grind`
    Abierto
    • ¿Algo no está bien?
    cleanup

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

    opencompl/veir#444 ·

    Los mantenedores suelen responder en 1 día

  • Add CI for profiling proof times
    Abierto
    • ¿Algo no está bien?
    CI

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

    opencompl/veir#294 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Add Alex Hick's Lean PR Summary/Review Actions
    Abierto
    • ¿Algo no está bien?
    CI

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

    opencompl/veir#293 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Carefully test negative operands to `llvm.constant`
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#261 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • Use iterators
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#198 ·

    Los mantenedores suelen responder en 1 día

  • LLVM `func` parsing
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#170 · 6 comentarios ·

    Los mantenedores suelen responder en 1 día

  • Add missing InBounds/Fields lemmas for `BlockPtr.setArguments`
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#137 ·

    Los mantenedores suelen responder en 1 día

  • Make sure our `simp` can trigger
    Abierto
    • ¿Algo no está bien?
    cleanup

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

    opencompl/veir#136 ·

    Los mantenedores suelen responder en 1 día

  • Figure out wether to use `BlockOperand` or `Successor`
    Abierto
    • ¿Algo no está bien?
    cleanup

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

    opencompl/veir#135 ·

    Los mantenedores suelen responder en 1 día

  • Implement ByteArray.Slice and use it in the lexer and parser
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#104 ·

    Los mantenedores suelen responder en 1 día

  • Remove `missingOps` from `BlockPtr.OpChain`
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#47 ·

    Los mantenedores suelen responder en 1 día

  • Rationalize theorem names
    Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#29 ·

    Los mantenedores suelen responder en 1 día

  • Run Mathlib linters
    Abierto
    • ¿Algo no está bien?
    CI

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

    opencompl/veir#12 ·

    Los mantenedores suelen responder en 1 día

  • Performance: verifier's dominance check is O(N^2) for large blocks
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

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

    opencompl/veir#1567 · 1 comentario ·

    Los mantenedores suelen responder en 1 día

  • dominance bug
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    opencompl/veir#1448 · 2 comentarios · 1 asignado ·

    Los mantenedores suelen responder en 1 día

  • Do not have both pointers and structure in WellFormed structure
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?
    cleanup

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

    opencompl/veir#44 ·

    Los mantenedores suelen responder en 1 día

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.