argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
¿Es argumentcomputer/yatima apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en argumentcomputer/yatima 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
- 146
- Forks
- 12
- Issues abiertos para principiantes
- 0
- Issues indexados
- 11
- Lenguaje dominante
- Lean
- Licencia
- MIT
- Último push a GitHub
- 20/4/2023
- Última indexación
- 14/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- good first issue
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cómo contribuir a argumentcomputer/yatima
- Lee primero la guía de contribución: explica cómo quieren los mantenedores que se propongan, prueben y revisen los cambios.
- Tus contribuciones se publicarán bajo la licencia MIT del proyecto.
- Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
argumentcomputer/yatima#280 ·
-
enhancement infra
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
argumentcomputer/yatima#275 ·
-
enhancement typechecker
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
argumentcomputer/yatima#272 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
argumentcomputer/yatima#249 ·
-
Constant -> DeclarationAbiertogood first issue
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
argumentcomputer/yatima#245 ·
-
Typechecker stack overflowAbiertobug typechecker
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
argumentcomputer/yatima#243 ·
-
Negative typecheck testsAbiertotypechecker
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
argumentcomputer/yatima#181 ·
-
Document everythingQuizá libre de nuevo @arthurpaulino la tomó hace 1516 días y no hay ningún pull request abierto. Abiertodocumentation
argumentcomputer/yatima#158 · 1 asignado ·
-
Proposal: Make the Yatima.Compiler.Graph a generic libraryQuizá libre de nuevo @winston-h-zhang la tomó hace 1555 días y no hay ningún pull request abierto. Abierto
argumentcomputer/yatima#88 · 5 comentarios · 2 asignados ·
-
Remove thunks from the typecheckerPosiblemente ocupada @gabriel-barrett la tomó hace 1292 días. Abiertoenhancement typechecker
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
argumentcomputer/yatima#268 · 1 reacción ·
-
Compiler to the EVM through YulPosiblemente ocupada @gabriel-barrett la tomó hace 1366 días. Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100
argumentcomputer/yatima#238 · 2 reacciones ·