AlphaUncommon
idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
- Owner
- idris-hackers (organization)
- Stars
- Stars: 275
- Forks
- Forks: 73
- Language
- Emacs Lisp
- License
- GPL-3.0
- Created
- 2012
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by idris-hackers
All 8 repos by idris-hackers- idris-hackers/software-foundationsStars: 460IdrisAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- idris-hackers/IdrisWebStars: 109TeXPrototype
Nearby in Emacs Lisp
All Emacs Lisp repos- wakatime/wakatime-modeStars: 275Emacs LispAlpha
- zweifisch/ob-httpStars: 275Emacs LispAlpha
- emacs-evil/evil-magitStars: 275Emacs LispAlpha