PrototypeCommune
cicada-lang/cicada-solo
Cicada Language (solo version)
- Propriétaire
- cicada-lang (organisation)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 5
- Langage
- TypeScript
- Licence
- GPL-3.0
- Création
- 2021
- Sujets
- programming-languagedependent-type-theorylanguagerepldependent-typesdependent-record-typestheorem-proverproverinteractive-theorem-provingtype-theory
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts TypeScript
Tous les dépôts TypeScript- Stellar-Sentinel/sentinel-frontendÉtoiles : 128TypeScriptPrototype
- xanthichi/mcd-meal-mateÉtoiles : 128TypeScriptPrototype
- wexloops/openfieldÉtoiles : 128TypeScriptPrototype
- approvals/Approvals.NodeJSÉtoiles : 128TypeScriptPrototype
- gsingh93/regex-searchÉtoiles : 128TypeScriptPrototype
- SBoudrias/mem-fsÉtoiles : 128TypeScriptPrototype