Alternatives and similar repositories for emacs-haskell-unicode-input-method

Users that are interested in emacs-haskell-unicode-input-method are comparing it to the libraries listed below

• sergv / emacs-module
  Wrappers around emacs-module.h to write Emacs modules in Haskell
  ☆59Updated 5 months ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 6 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• hasky-mode / hasky-extensions
  Toggle Haskell language extensions from Emacs
  ☆22Updated 5 years ago
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 2 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ixmatus / orgmode-parse
  Attoparsec parser combinators for parsing org-mode structured text!
  ☆91Updated last year
• psibi / dhall-mode
  ☆45Updated 4 months ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 9 months ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated last month
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• iquiw / company-cabal
  Company-mode completion back-end for haskell-cabal-mode
  ☆14Updated 7 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated last year
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• iquiw / company-ghc
  Company-mode completion back-end for haskell-mode via ghc-mod
  ☆125Updated 6 years ago
• vyorkin / ormolu.el
  A formatter for Haskell source code
  ☆37Updated 2 years ago
• flycheck / flycheck-haskell
  Improved Haskell support for Flycheck
  ☆67Updated 5 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• mauke / data-default
  A class for types with a default value
  ☆44Updated 6 months ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• hasky-mode / hasky-stack
  Interface to the Stack Haskell development tool
  ☆27Updated 5 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• ucsd-progsys / liquid-types-spacemacs
  Spacemacs Layer for LiquidHaskell
  ☆13Updated 7 years ago