lambdaclass/lambda_compiler_kit

Voir sur GitHub

Lambda Compiler Kit: formally verified toolkit for building compilers

Étoiles: 2
Forks: 1
Issues débutants ouvertes: 0
Issues indexées: 28

Langage dominant: Lean
Licence: MIT
Dernier push GitHub: 27/2/2026
Dernière indexation: 18/9/2026
Guide de contribution: Aucun guide de contribution
Code de conduite: Aucun code de conduite
Labels débutants: Aucun label débutant indexé
Métriques de merge des PR: Aucune PR mergée en 30 j

Accessible aux débutants Tout

Ouverte Toutes

28 issues ouvertes indexées

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

enhancement

Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 50/100

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

Difficulté 1/5 Moins d'une heure Accessibilité débutants 55/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

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

Difficulté 1/5 Moins d'une heure Accessibilité débutants 58/100

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

Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

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

Difficulté 1/5 Moins d'une heure Accessibilité débutants 68/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 55/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 68/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

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

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 55/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 58/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 55/100

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

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

lambdaclass/lambda_compiler_kit#14 · Ouverte le 25/2/2026
JSON parser DoS prevention Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

lambdaclass/lambda_compiler_kit#13 · Ouverte le 25/2/2026
Organize examples with native_decide lint disabled Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 55/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

lambdaclass/lambda_compiler_kit#7 · Ouverte le 12/2/2026

lambdaclass/lambda_compiler_kit

Recevez les nouvelles issues par e-mail