AlphaPeu commune
idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 275
- Forks
- Forks : 73
- Langage
- Emacs Lisp
- Licence
- GPL-3.0
- Création
- 2012
- Rang
- Alpha (250 à 699 ★) 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-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- idris-hackers/IdrisWebÉtoiles : 109TeXPrototype
D’autres dépôts Emacs Lisp
Tous les dépôts Emacs Lisp- wakatime/wakatime-modeÉtoiles : 275Emacs LispAlpha
- zweifisch/ob-httpÉtoiles : 275Emacs LispAlpha
- emacs-evil/evil-magitÉtoiles : 275Emacs LispAlpha