DomTheDeveloper/crl
¿Es DomTheDeveloper/crl apto para principiantes?
Hemos visto muy pocos pull requests recientes de nuevos contribuyentes en DomTheDeveloper/crl 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
- 0
- Forks
- 1
- Issues abiertos para principiantes
- 0
- Issues indexados
- 19
- Lenguaje dominante
- Lean
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 25/8/2026
- Última indexación
- 20/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- help wanted
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cómo contribuir a DomTheDeveloper/crl
- 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.
- 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 1/5 Menos de una hora Aptitud para principiantes 35/100
DomTheDeveloper/crl#219 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 20/100
DomTheDeveloper/crl#212 · 1 comentario ·
-
A248380 / Sylver Coinage after 16 — odd replies closed, even branches remainQuizá libre de nuevo @DomTheDeveloper la tomó hace 66 días y no hay ningún pull request abierto. Abierto
DomTheDeveloper/crl#208 · 1 comentario · 1 asignado ·
-
Independent review requested: Bernstein–Bézier coefficient-inner-cone grand theoremQuizá libre de nuevo @DomTheDeveloper la tomó hace 67 días y no hay ningún pull request abierto. Abierto
DomTheDeveloper/crl#152 · 1 comentario · 1 asignado ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
DomTheDeveloper/crl#134 ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
DomTheDeveloper/crl#129 ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
DomTheDeveloper/crl#125 · 1 comentario ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
DomTheDeveloper/crl#123 · 1 comentario ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100
DomTheDeveloper/crl#122 · 3 comentarios ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
DomTheDeveloper/crl#120 · 1 comentario ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
DomTheDeveloper/crl#103 · 7 comentarios ·
-
External reviewers wanted: signed Bernstein obstacle audit reportsQuizá libre de nuevo @DomTheDeveloper la tomó hace 68 días y no hay ningún pull request abierto. Abiertohelp wanted
DomTheDeveloper/crl#102 · 9 comentarios · 1 asignado ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
DomTheDeveloper/crl#101 · 4 comentarios ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
DomTheDeveloper/crl#100 · 7 comentarios ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
DomTheDeveloper/crl#99 · 8 comentarios ·
-
help wanted
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
DomTheDeveloper/crl#98 · 3 comentarios ·
-
Lean formalization bounty: Bernstein obstacle theorem packageQuizá libre de nuevo @DomTheDeveloper la tomó hace 68 días y no hay ningún pull request abierto. Abiertohelp wanted
DomTheDeveloper/crl#97 · 5 comentarios · 1 asignado ·
-
Independent audit requested: Bernstein obstacle Mosco and free-boundary theoremQuizá libre de nuevo @DomTheDeveloper la tomó hace 68 días y no hay ningún pull request abierto. Abierto
DomTheDeveloper/crl#96 · 5 comentarios · 1 asignado ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
DomTheDeveloper/crl#46 ·