Alternatives and similar repositories for idris-mode:

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

• jyp / dante
  ☆392Updated last year
• projectional-haskell / structured-haskell-mode
  Structured editing minor mode for Haskell in Emacs
  ☆543Updated 6 years ago
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆379Updated last year
• emacs-lsp / lsp-haskell
  lsp-mode haskell
  ☆239Updated this week
• iquiw / company-ghc
  Company-mode completion back-end for haskell-mode via ghc-mod
  ☆125Updated 6 years ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆309Updated last year
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆206Updated 5 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 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…
  ☆177Updated 6 years ago
• axellang / axel
  Haskell + Lisp
  ☆207Updated 9 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated 2 weeks ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 7 years ago
• serras / emacs-haskell-tutorial
  Tutorial on setting up Emacs to do Haskell programming
  ☆691Updated 7 years ago
• haskell / wreq
  ☆380Updated 11 months ago
• gregwebs / Shelly.hs
  Haskell shell scripting
  ☆418Updated 7 months ago
• commercialhaskell / stack-ide
  Stack-based JSON interface to ide-backend
  ☆98Updated 9 years ago
• acid-state / acid-state
  Add ACID guarantees to any serializable Haskell data structure
  ☆295Updated 3 months ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• wilbowma / cur
  A less devious proof assistant
  ☆223Updated 2 years ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆133Updated last year
• chrisdone-archive / intero
  ☆1,009Updated 5 years ago
• fpco / ide-backend
  ide-backend drives the GHC API to build, query, and run your code
  ☆119Updated 9 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆345Updated 2 months ago
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated last month
• edwinb / Blodwen
  A prototype successor to Idris
  ☆539Updated 5 years ago
• tweag / inline-java
  Haskell/Java interop via inline Java code in Haskell modules.
  ☆231Updated last year
• chrisdone / hell
  Haskell-based shell scripting language
  ☆586Updated this week
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago