Alternatives and similar repositories for idris-mode

Users that are interested in idris-mode are comparing it to the libraries listed below

• jyp / dante
  ☆393Updated last year
• projectional-haskell / structured-haskell-mode
  Structured editing minor mode for Haskell in Emacs
  ☆546Updated 6 years ago
• emacs-lsp / lsp-haskell
  lsp-mode haskell
  ☆242Updated 3 months ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• iquiw / company-ghc
  Company-mode completion back-end for haskell-mode via ghc-mod
  ☆125Updated 7 years ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆133Updated 2 months ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆314Updated last year
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆383Updated last year
• commercialhaskell / stack-ide
  Stack-based JSON interface to ide-backend
  ☆98Updated 9 years ago
• axellang / axel
  Haskell + Lisp
  ☆209Updated last year
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆137Updated 5 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆182Updated 7 years ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆316Updated 7 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆91Updated 8 months ago
• tweag / inline-java
  Haskell/Java interop via inline Java code in Haskell modules.
  ☆233Updated 2 weeks ago
• flycheck / flycheck-haskell
  Improved Haskell support for Flycheck
  ☆67Updated 8 months ago
• haskell / ghcup
  DEPRECATED IN FAVOR OF haskell/ghcup-hs
  ☆266Updated 2 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆265Updated 11 months ago
• CodyReichert / shakespeare-mode
  An emacs major mode for editing hamlet, lucius, and julius files
  ☆36Updated 7 years ago
• RefactoringTools / HaRe
  The Haskell Refactoring Tool
  ☆138Updated 8 years ago
• gregwebs / Shelly.hs
  Haskell shell scripting
  ☆420Updated 2 months ago
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆43Updated 3 years ago
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆215Updated 11 months ago
• diagrams / diagrams
  Embedded domain-specific language for declarative vector graphics (wrapper package)
  ☆211Updated 3 months ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year
• deech / fltkhs
  Haskell bindings to FLTK GUI toolkit.
  ☆191Updated 3 years ago
• stevenfontanella / microlens
  A lightweight (but compatible with ‘lens’) lenses library
  ☆292Updated 4 months ago