lambdaclass/lambda_compiler_kit

Ver en GitHub

Lambda Compiler Kit: formally verified toolkit for building compilers

Estrellas: 2
Forks: 1
Issues abiertos para principiantes: 0
Issues indexados: 28

Lenguaje dominante: Lean
Licencia: MIT
Último push a GitHub: 27/2/2026
Última indexación: 18/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
Métricas de merge de PR: Sin PR fusionados en 30 d

Para principiantes Todo

Abierto Todos

28 issues abiertos indexados

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

enhancement

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 50/100

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

Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

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

Dificultad 1/5 Menos de una hora Aptitud para principiantes 58/100

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

Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

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

Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

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

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

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

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 58/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

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

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

lambdaclass/lambda_compiler_kit#14 · Abierto el 25/2/2026
JSON parser DoS prevention Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

lambdaclass/lambda_compiler_kit#13 · Abierto el 25/2/2026
Organize examples with native_decide lint disabled Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

lambdaclass/lambda_compiler_kit#7 · Abierto el 12/2/2026

lambdaclass/lambda_compiler_kit

Recibe los nuevos issues en tu correo