Idris Mode Alternatives

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Suggest Alternative
Alternatives To idris-hackers/idris-mode
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
NicolasPetton/Indium 1,128 0 2 almost 3 years ago 17 October 23, 2019 22 gpl-3.0 Emacs Lisp
A JavaScript development environment for Emacs
skeeto/skewer-mode 995 0 0 about 5 years ago 0 27 unlicense Emacs Lisp
Live web development in Emacs
greghendershott/racket-mode 672 0 0 over 2 years ago 0 35 gpl-3.0 Racket
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
swank-js/swank-js 631 16 13 about 10 years ago 4 October 09, 2012 33 other JavaScript
Swank backend for Node.JS and in-browser JavaScript
defunkt/coffee-mode 570 0 0 over 2 years ago 0 14 Emacs Lisp
Emacs Major Mode for CoffeeScript
kovisoft/slimv 443 0 0 almost 3 years ago 0 39 Common Lisp
Official mirror of Slimv versions released on vim.org
PEZ/rn-rf-shadow 339 0 0 about 2 years ago 0 5 Clojure
An example project to get you started with React Native using shadow-cljs in 3 minutes
immerrr/lua-mode 303 0 0 over 2 years ago 0 33 gpl-3.0 Emacs Lisp
Emacs major mode for editing Lua
idris-hackers/idris-mode 253 0 0 over 2 years ago 0 51 gpl-3.0 Emacs Lisp
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
clojure-emacs/inf-clojure 243 0 0 over 2 years ago 0 23 Emacs Lisp
Basic interaction with a Clojure subprocess
Alternatives To idris-hackers/idris-mode
Select To Compare


Alternative Project Comparisons
Popular Emacs Projects
Popular Repl Projects
Popular Text Editors Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.