lambdaclass/lambda_compiler_kit

Lambda Compiler Kit: formally verified toolkit for building compilers

lambdaclass/lambda_compiler_kit é bom para iniciantes?

Vimos poucos pull requests recentes de novos contribuidores em lambdaclass/lambda_compiler_kit para dizer com que frequência eles recebem merge. Agora há 3 issues para iniciantes abertas.

Estrelas: 2
Forks: 1
Issues abertas para iniciantes: 3
Issues indexadas: 28

Linguagem predominante: Lean
Licença: MIT
Último push no GitHub: 27/2/2026
Última indexação: 18/9/2026
Guia de contribuição: Sem guia de contribuição
Código de conduta: Sem código de conduta
Labels para iniciantes: Nenhum label para iniciantes indexado
Métricas de merge de PRs: Nenhum PR com merge em 30d

Como contribuir com lambdaclass/lambda_compiler_kit

Não há guia de contribuição, então comece pelo README e por alguns pull requests com merge recente para ver como as mudanças são propostas.
Suas contribuições serão publicadas sob a licença MIT do projeto.
Escolha uma das 3 issues abertas para iniciantes abaixo e comente que quer trabalhar nela antes de começar.

Para iniciantes Tudo

Abertas Todas

Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data

Enable --wfail axiom-guard gate once warnings are clean
Aberta
- Algo errado?
enhancement

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

lambdaclass/lambda_compiler_kit#38 · Aberta em 9/6/2026
feat: add --version flag to lck-grep CLI
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 50/100

lambdaclass/lambda_compiler_kit#36 · Aberta em 26/2/2026
nit: add typical NFA size examples to Complexity.lean module docstring
Aberta
- Algo errado?
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 55/100

lambdaclass/lambda_compiler_kit#35 · Aberta em 26/2/2026
refactor: eliminate decreasing_by in Parser.lean in favour of structural recursion
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100

lambdaclass/lambda_compiler_kit#34 · Aberta em 26/2/2026
refactor: separate proof/spec files into a dedicated LckSpec lake target
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

lambdaclass/lambda_compiler_kit#33 · Aberta em 26/2/2026
docs: clarify newline restriction in MatchesSubstring docstring
Aberta
- Algo errado?
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 58/100

lambdaclass/lambda_compiler_kit#32 · Aberta em 26/2/2026
refactor: remove unnecessary import of Parser.lean from Semantics.lean
Aberta
- Algo errado?
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 72/100

lambdaclass/lambda_compiler_kit#31 · Aberta em 26/2/2026
security: deep nesting causes stack overflow in JSON parser
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

lambdaclass/lambda_compiler_kit#30 · Aberta em 26/2/2026
refactor: remove asymmetry between singleton and cons in ValidJsonArray
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100

lambdaclass/lambda_compiler_kit#29 · Aberta em 26/2/2026
proof: add parseRaw_iff end-to-end correctness theorem
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

lambdaclass/lambda_compiler_kit#28 · Aberta em 26/2/2026
feat: add ValidTopLevel predicate for top-level JSON parse validation
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100

lambdaclass/lambda_compiler_kit#27 · Aberta em 26/2/2026
nit: fix misleading traversal-order comments in Syntax.lean and Parser.lean
Aberta
- Algo errado?
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 68/100

lambdaclass/lambda_compiler_kit#26 · Aberta em 26/2/2026
refactor: rename ParseError.canonicalizationError to duplicateKeyError
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 55/100

lambdaclass/lambda_compiler_kit#25 · Aberta em 26/2/2026
style: proof style improvements in RegexSpec.lean
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

lambdaclass/lambda_compiler_kit#24 · Aberta em 26/2/2026
nit: several low-priority polish items in JSON parser (decimal rendering, ordering invariant, docstrings)
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

lambdaclass/lambda_compiler_kit#23 · Aberta em 26/2/2026
bug: CLI readAll stops reading at first empty line instead of reading to EOF
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100

lambdaclass/lambda_compiler_kit#22 · Aberta em 26/2/2026
perf/safety: convert parseStr from recursive to iterative to prevent stack overflow
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

lambdaclass/lambda_compiler_kit#21 · Aberta em 26/2/2026
api: CompiledRegex should carry its MatchMode to prevent silent misuse
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

lambdaclass/lambda_compiler_kit#20 · Aberta em 25/2/2026
refactor: deduplicate Symbol.matches / charMatchesClass in Glushkov
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 55/100

lambdaclass/lambda_compiler_kit#19 · Aberta em 25/2/2026
perf: refactor rejectDuplicates in Parser.lean to avoid redundant sort and O(n²) insertion
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

lambdaclass/lambda_compiler_kit#18 · Aberta em 25/2/2026
perf: fix O(n²) string concatenation in parseStr (Tokenizer.lean)
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 58/100

lambdaclass/lambda_compiler_kit#17 · Aberta em 25/2/2026
proof: add bridge theorem connecting search-mode Matches dr.toRegex to MatchesSubstring ast
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

lambdaclass/lambda_compiler_kit#16 · Aberta em 25/2/2026
security: add input pattern length bounds in Parser.lean to prevent stack overflow
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 55/100

lambdaclass/lambda_compiler_kit#15 · Aberta em 25/2/2026
perf: optimize nested foldl in Glushkov/Matcher.lean step/initialStep (O(n²) → O(n log n))
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

lambdaclass/lambda_compiler_kit#14 · Aberta em 25/2/2026
JSON parser DoS prevention
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

lambdaclass/lambda_compiler_kit#13 · Aberta em 25/2/2026
Organize examples with native_decide lint disabled
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100

lambdaclass/lambda_compiler_kit#12 · Aberta em 19/2/2026
Integrate Glushkov NFA engine into lck-grep CLI utility
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

lambdaclass/lambda_compiler_kit#11 · Aberta em 19/2/2026
Migrate tests from hand-rolled IO to LSpec framework
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100

lambdaclass/lambda_compiler_kit#7 · Aberta em 12/2/2026

lambdaclass/lambda_compiler_kit

lambdaclass/lambda_compiler_kit é bom para iniciantes?

Como contribuir com lambdaclass/lambda_compiler_kit

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Receba novas issues na sua caixa de entrada