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

microsoft/z3guide

Inicia sesión para seguir Ver en GitHub

Tutorials and courses for Z3

¿Es microsoft/z3guide apto para principiantes?

Hemos visto muy pocos pull requests recientes de nuevos contribuyentes en microsoft/z3guide para saber con qué frecuencia se fusionan. 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
123
Forks
34
Issues abiertos para principiantes
0
Issues indexados
13
Merge medio
14 d 11 h
PR fusionados (30 d)
7
Lenguaje dominante
JavaScript
Licencia
MIT
Último push a GitHub
23/8/2026
Última indexación
19/9/2026
Guía de contribución
Código de conducta
Etiquetas para principiantes
Sin etiquetas para principiantes indexadas

Cómo contribuir a microsoft/z3guide

  1. Lee primero la guía de contribución: explica cómo quieren los mantenedores que se propongan, prueben y revisen 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 MIT del proyecto.
  4. 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

  • Add an example that illustrates set_on_model for Optimize
    Abierto
    • ¿Algo no está bien?

    microsoft/z3guide#207 · 1 comentario · 1 reacción · 1 asignado ·

  • subtype example backwards?
    Abierto
    • ¿Algo no está bien?

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 35/100

    microsoft/z3guide#197 ·

  • updating docusaurus to 3.0
    Abierto
    • ¿Algo no está bien?

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

    microsoft/z3guide#186 · 1 comentario ·

  • Probably wrong definition of subtyping
    Abierto
    • ¿Algo no está bien?

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 50/100

    microsoft/z3guide#175 ·

  • syntax highlighting of smt samples in readonly blocks
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    enhancement

    microsoft/z3guide#141 · 1 asignado ·

  • C# examples
    Abierto
    • ¿Algo no está bien?
    content enhancement

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

    microsoft/z3guide#140 · 1 comentario ·

  • highlighting lines with error with squigglies
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    enhancement

    microsoft/z3guide#104 · 1 comentario · 1 asignado ·

  • analytics through Azure
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    future

    microsoft/z3guide#101 · 1 asignado ·

  • Automate sidebar generation for SMTLIB content
    Abierto
    • ¿Algo no está bien?
    bug content

    microsoft/z3guide#83 · 1 comentario · 1 asignado ·

  • Security concerns with z3-js boxes
    Abierto
    • ¿Algo no está bien?
    question

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

    microsoft/z3guide#62 · 2 comentarios ·

  • screen reader support
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    a11y future

    microsoft/z3guide#48 · 1 asignado ·

  • keyboard navigation
    Abierto
    • ¿Algo no está bien?
    a11y future

    microsoft/z3guide#47 · 1 comentario · 1 asignado ·

  • Automating Reference Documentation publication
    Abierto
    • ¿Algo no está bien?

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

    microsoft/z3guide#37 · 4 comentarios ·

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.