lambdaclass/lambda_compiler_kit

Lambda Compiler Kit: formally verified toolkit for building compilers

Stars: 2
Forks: 1
Open beginner issues: 0
Indexed issues: 28

Dominant language: Lean
License: MIT
Last GitHub push: Feb 27, 2026
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

3 beginner-friendly issues indexed

refactor: remove unnecessary import of Parser.lean from Semantics.lean Open

Difficulty 1/5 Under an hour Newbie friendliness 72/100

lambdaclass/lambda_compiler_kit#31 · Opened Feb 26, 2026
nit: fix misleading traversal-order comments in Syntax.lean and Parser.lean Open

Difficulty 1/5 Under an hour Newbie friendliness 68/100

lambdaclass/lambda_compiler_kit#26 · Opened Feb 26, 2026
bug: CLI readAll stops reading at first empty line instead of reading to EOF Open

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

lambdaclass/lambda_compiler_kit#22 · Opened Feb 26, 2026

A short digest of beginner-friendly GitHub issues.