PrototypeCommon
idris-hackers/atom-language-idris
A Idris Mode for Atom.io
- Owner
- idris-hackers (organization)
- Stars
- Stars: 100
- Forks
- Forks: 23
- Language
- TypeScript
- License
- MIT
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by idris-hackers
All 8 repos by idris-hackers- idris-hackers/software-foundationsStars: 460IdrisAlpha
- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
Nearby in TypeScript
All TypeScript repos- xjxlabs/dsh-chat-mode-previewStars: 100TypeScriptPrototype
- bocoboho/wardendeckStars: 100TypeScriptPrototype
- globalmpc/nomoreStars: 100TypeScriptPrototype
- vvakame/dtsmStars: 100TypeScriptPrototype
- piotrl/github-profile-cardStars: 100TypeScriptPrototype
- finom/vanillatreeStars: 100TypeScriptPrototype