argotorg/shuffler.lean
lean4 formaliztion of solc's plan based stack shuffler
¿Es argotorg/shuffler.lean apto para principiantes?
En los últimos 30 días, argotorg/shuffler.lean fusionó 12 de 18 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
- 1
- Forks
- 2
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Merge medio
- 1 d 20 h
- PR fusionados (30 d)
- 12
- Lenguaje dominante
- Lean
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 4/11/2026
- Última indexación
- 29/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
- Sin etiquetas para principiantes indexadas
Cómo contribuir a argotorg/shuffler.lean
- 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.
Cargando issues
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
Los mantenedores suelen responder en 1 día