PrototypeCommune
idris-hackers/atom-language-idris
A Idris Mode for Atom.io
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 100
- Forks
- Forks : 23
- Langage
- TypeScript
- Licence
- MIT
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de idris-hackers
Les 8 dépôts de idris-hackers- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- idris-hackers/idris-modeÉtoiles : 275Emacs LispAlpha
- idris-hackers/idris-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
D’autres dépôts TypeScript
Tous les dépôts TypeScript- ZWY-research/Fusion-Research-AtlasÉtoiles : 100TypeScriptPrototype
- reemus-dev/ghostty-designerÉtoiles : 100TypeScriptPrototype
- litmers-dev/litpageÉtoiles : 100TypeScriptPrototype
- vvakame/dtsmÉtoiles : 100TypeScriptPrototype
- piotrl/github-profile-cardÉtoiles : 100TypeScriptPrototype
- finom/vanillatreeÉtoiles : 100TypeScriptPrototype