kt3k/cic-ts

A port of src/kernel of Lean4 into TypeScript

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

Dominant language: TypeScript
License: MIT
Last GitHub push: Jun 10, 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

1 open issue indexed

set up CI Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

kt3k/cic-ts#5 · Opened Jun 9, 2026

A short digest of beginner-friendly GitHub issues.