lambdaclass/lambda_compiler_kit

Auf GitHub ansehen

Lambda Compiler Kit: formally verified toolkit for building compilers

Sterne: 2
Forks: 1
Offene Anfänger-Issues: 0
Indexierte Issues: 28

Vorherrschende Sprache: Lean
Lizenz: MIT
Letzter GitHub-Push: 27.2.2026
Zuletzt indexiert: 18.9.2026
Beitragsleitfaden: Kein Beitragsleitfaden
Verhaltenskodex: Kein Verhaltenskodex
Anfänger-Labels: Keine Anfänger-Labels indexiert
PR-Merge-Kennzahlen: Keine gemergten PRs in 30 T.

Einsteigerfreundlich Alles

Offen Alle

Bisher 28 offene Issues indexiert

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

enhancement

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

lambdaclass/lambda_compiler_kit#38 · Erstellt am 09.6.2026
feat: add --version flag to lck-grep CLI Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 50/100

lambdaclass/lambda_compiler_kit#36 · Erstellt am 26.2.2026
nit: add typical NFA size examples to Complexity.lean module docstring Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 55/100

lambdaclass/lambda_compiler_kit#35 · Erstellt am 26.2.2026
refactor: eliminate decreasing_by in Parser.lean in favour of structural recursion Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

lambdaclass/lambda_compiler_kit#34 · Erstellt am 26.2.2026
refactor: separate proof/spec files into a dedicated LckSpec lake target Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

lambdaclass/lambda_compiler_kit#33 · Erstellt am 26.2.2026
docs: clarify newline restriction in MatchesSubstring docstring Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 58/100

lambdaclass/lambda_compiler_kit#32 · Erstellt am 26.2.2026
refactor: remove unnecessary import of Parser.lean from Semantics.lean Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 72/100

lambdaclass/lambda_compiler_kit#31 · Erstellt am 26.2.2026
security: deep nesting causes stack overflow in JSON parser Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

lambdaclass/lambda_compiler_kit#30 · Erstellt am 26.2.2026
refactor: remove asymmetry between singleton and cons in ValidJsonArray Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

lambdaclass/lambda_compiler_kit#29 · Erstellt am 26.2.2026
proof: add parseRaw_iff end-to-end correctness theorem Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

lambdaclass/lambda_compiler_kit#28 · Erstellt am 26.2.2026
feat: add ValidTopLevel predicate for top-level JSON parse validation Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

lambdaclass/lambda_compiler_kit#27 · Erstellt am 26.2.2026
nit: fix misleading traversal-order comments in Syntax.lean and Parser.lean Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 68/100

lambdaclass/lambda_compiler_kit#26 · Erstellt am 26.2.2026
refactor: rename ParseError.canonicalizationError to duplicateKeyError Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100

lambdaclass/lambda_compiler_kit#25 · Erstellt am 26.2.2026
style: proof style improvements in RegexSpec.lean Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

lambdaclass/lambda_compiler_kit#24 · Erstellt am 26.2.2026
nit: several low-priority polish items in JSON parser (decimal rendering, ordering invariant, docstrings) Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

lambdaclass/lambda_compiler_kit#23 · Erstellt am 26.2.2026
bug: CLI readAll stops reading at first empty line instead of reading to EOF Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100

lambdaclass/lambda_compiler_kit#22 · Erstellt am 26.2.2026
perf/safety: convert parseStr from recursive to iterative to prevent stack overflow Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

lambdaclass/lambda_compiler_kit#21 · Erstellt am 26.2.2026
api: CompiledRegex should carry its MatchMode to prevent silent misuse Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

lambdaclass/lambda_compiler_kit#20 · Erstellt am 25.2.2026
refactor: deduplicate Symbol.matches / charMatchesClass in Glushkov Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100

lambdaclass/lambda_compiler_kit#19 · Erstellt am 25.2.2026
perf: refactor rejectDuplicates in Parser.lean to avoid redundant sort and O(n²) insertion Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

lambdaclass/lambda_compiler_kit#18 · Erstellt am 25.2.2026
perf: fix O(n²) string concatenation in parseStr (Tokenizer.lean) Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 58/100

lambdaclass/lambda_compiler_kit#17 · Erstellt am 25.2.2026
proof: add bridge theorem connecting search-mode Matches dr.toRegex to MatchesSubstring ast Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

lambdaclass/lambda_compiler_kit#16 · Erstellt am 25.2.2026
security: add input pattern length bounds in Parser.lean to prevent stack overflow Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100

lambdaclass/lambda_compiler_kit#15 · Erstellt am 25.2.2026
perf: optimize nested foldl in Glushkov/Matcher.lean step/initialStep (O(n²) → O(n log n)) Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

lambdaclass/lambda_compiler_kit#14 · Erstellt am 25.2.2026
JSON parser DoS prevention Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

lambdaclass/lambda_compiler_kit#13 · Erstellt am 25.2.2026
Organize examples with native_decide lint disabled Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100

lambdaclass/lambda_compiler_kit#12 · Erstellt am 19.2.2026
Integrate Glushkov NFA engine into lck-grep CLI utility Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

lambdaclass/lambda_compiler_kit#11 · Erstellt am 19.2.2026
Migrate tests from hand-rolled IO to LSpec framework Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

lambdaclass/lambda_compiler_kit#7 · Erstellt am 12.2.2026

lambdaclass/lambda_compiler_kit

Neue Issues direkt in Ihr Postfach