PrototypeCommon
cicada-lang/cicada-solo
Cicada Language (solo version)
- Owner
- cicada-lang (organization)
- Stars
- Stars: 128
- Forks
- Forks: 5
- Language
- TypeScript
- License
- GPL-3.0
- Created
- 2021
- Topics
- programming-languagedependent-type-theorylanguagerepldependent-typesdependent-record-typestheorem-proverproverinteractive-theorem-provingtype-theory
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in TypeScript
All TypeScript repos- browserbase/bell-stackStars: 128TypeScriptPrototype
- brunnojob/devstart-labStars: 128TypeScriptPrototype
- xanthichi/mcd-meal-mateStars: 128TypeScriptPrototype
- approvals/Approvals.NodeJSStars: 128TypeScriptPrototype
- gsingh93/regex-searchStars: 128TypeScriptPrototype
- SBoudrias/mem-fsStars: 128TypeScriptPrototype