Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

exercism/lean

Vedi su GitHub

Exercism exercises in Lean.

Stelle
3
Fork
4
Issue aperte per principianti
0
Issue indicizzate
10
Merge medio
6m
PR unite (30g)
1
Lingua principale
Lean
Licenza
MIT
Ultimo push su GitHub
18/8/2026
Ultima indicizzazione
15/9/2026
Guida per i contributori
Codice di condotta
Label per principianti
Nessuna label per principianti indicizzata
Adatte ai principianti Tutto
Aperta Tutte
  • Concept exercises Aperta

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    exercism/lean#189 · 1 commento ·

  • Consider adding proof requirement to some currently easy exercises Aperta

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

    exercism/lean#175 · 1 commento · 1 reazione ·

  • Add `List-Ops` practice exercise Aperta
    x:action/create x:knowledge/elementary x:module/practice-exercise x:size/medium x:type/coding x:type/content

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

    exercism/lean#158 · 1 commento ·

  • Add `Zipper` practice exercise Aperta
    x:action/create x:knowledge/elementary x:module/practice-exercise x:size/large x:type/coding x:type/content

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

    exercism/lean#157 · 2 commenti ·

  • Create a CodeMirror mode for Lean Aperta
    x:action/create x:knowledge/none x:size/massive x:type/coding

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    exercism/lean#156 · 1 commento ·

  • Build a representer Aperta
    x:action/create x:knowledge/advanced x:module/representer x:size/massive x:type/coding

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    exercism/lean#155 ·

  • Build an analyzer Aperta
    x:action/create x:knowledge/advanced x:module/analyzer x:size/massive x:type/coding

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    exercism/lean#154 ·

  • Highlight Aperta

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

    exercism/lean#12 · 3 commenti ·

  • Launch tracking Aperta

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    exercism/lean#1 ·

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.