lambdaclass/lambda_compiler_kit

Vedi su GitHub

Lambda Compiler Kit: formally verified toolkit for building compilers

Stelle: 2
Fork: 1
Issue aperte per principianti: 0
Issue indicizzate: 28

Lingua principale: Lean
Licenza: MIT
Ultimo push su GitHub: 27/2/2026
Ultima indicizzazione: 18/9/2026
Guida per i contributori: Nessuna guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: Nessuna label per principianti indicizzata
Metriche di merge delle PR: Nessuna PR unita negli ultimi 30g

Adatte ai principianti Tutto

Aperta Tutte

28 issue aperte indicizzate

Enable --wfail axiom-guard gate once warnings are clean Aperta

enhancement

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

lambdaclass/lambda_compiler_kit#38 · Aperta il 9/6/2026
feat: add --version flag to lck-grep CLI Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 50/100

lambdaclass/lambda_compiler_kit#36 · Aperta il 26/2/2026
nit: add typical NFA size examples to Complexity.lean module docstring Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100

lambdaclass/lambda_compiler_kit#35 · Aperta il 26/2/2026
refactor: eliminate decreasing_by in Parser.lean in favour of structural recursion Aperta

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

lambdaclass/lambda_compiler_kit#34 · Aperta il 26/2/2026
refactor: separate proof/spec files into a dedicated LckSpec lake target Aperta

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

lambdaclass/lambda_compiler_kit#33 · Aperta il 26/2/2026
docs: clarify newline restriction in MatchesSubstring docstring Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 58/100

lambdaclass/lambda_compiler_kit#32 · Aperta il 26/2/2026
refactor: remove unnecessary import of Parser.lean from Semantics.lean Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100

lambdaclass/lambda_compiler_kit#31 · Aperta il 26/2/2026
security: deep nesting causes stack overflow in JSON parser Aperta

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

lambdaclass/lambda_compiler_kit#30 · Aperta il 26/2/2026
refactor: remove asymmetry between singleton and cons in ValidJsonArray Aperta

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

lambdaclass/lambda_compiler_kit#29 · Aperta il 26/2/2026
proof: add parseRaw_iff end-to-end correctness theorem Aperta

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

lambdaclass/lambda_compiler_kit#28 · Aperta il 26/2/2026
feat: add ValidTopLevel predicate for top-level JSON parse validation Aperta

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

lambdaclass/lambda_compiler_kit#27 · Aperta il 26/2/2026
nit: fix misleading traversal-order comments in Syntax.lean and Parser.lean Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100

lambdaclass/lambda_compiler_kit#26 · Aperta il 26/2/2026
refactor: rename ParseError.canonicalizationError to duplicateKeyError Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

lambdaclass/lambda_compiler_kit#25 · Aperta il 26/2/2026
style: proof style improvements in RegexSpec.lean Aperta

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

lambdaclass/lambda_compiler_kit#24 · Aperta il 26/2/2026
nit: several low-priority polish items in JSON parser (decimal rendering, ordering invariant, docstrings) Aperta

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

lambdaclass/lambda_compiler_kit#23 · Aperta il 26/2/2026
bug: CLI readAll stops reading at first empty line instead of reading to EOF Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

lambdaclass/lambda_compiler_kit#22 · Aperta il 26/2/2026
perf/safety: convert parseStr from recursive to iterative to prevent stack overflow Aperta

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

lambdaclass/lambda_compiler_kit#21 · Aperta il 26/2/2026
api: CompiledRegex should carry its MatchMode to prevent silent misuse Aperta

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

lambdaclass/lambda_compiler_kit#20 · Aperta il 25/2/2026
refactor: deduplicate Symbol.matches / charMatchesClass in Glushkov Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

lambdaclass/lambda_compiler_kit#19 · Aperta il 25/2/2026
perf: refactor rejectDuplicates in Parser.lean to avoid redundant sort and O(n²) insertion Aperta

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

lambdaclass/lambda_compiler_kit#18 · Aperta il 25/2/2026
perf: fix O(n²) string concatenation in parseStr (Tokenizer.lean) Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 58/100

lambdaclass/lambda_compiler_kit#17 · Aperta il 25/2/2026
proof: add bridge theorem connecting search-mode Matches dr.toRegex to MatchesSubstring ast Aperta

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

lambdaclass/lambda_compiler_kit#16 · Aperta il 25/2/2026
security: add input pattern length bounds in Parser.lean to prevent stack overflow Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

lambdaclass/lambda_compiler_kit#15 · Aperta il 25/2/2026
perf: optimize nested foldl in Glushkov/Matcher.lean step/initialStep (O(n²) → O(n log n)) Aperta

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

lambdaclass/lambda_compiler_kit#14 · Aperta il 25/2/2026
JSON parser DoS prevention Aperta

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

lambdaclass/lambda_compiler_kit#13 · Aperta il 25/2/2026
Organize examples with native_decide lint disabled Aperta

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

lambdaclass/lambda_compiler_kit#12 · Aperta il 19/2/2026
Integrate Glushkov NFA engine into lck-grep CLI utility Aperta

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

lambdaclass/lambda_compiler_kit#11 · Aperta il 19/2/2026
Migrate tests from hand-rolled IO to LSpec framework Aperta

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

lambdaclass/lambda_compiler_kit#7 · Aperta il 12/2/2026

lambdaclass/lambda_compiler_kit

Ricevi le nuove issue nella tua casella