hasky-mode / hasky-extensionsLinks
Toggle Haskell language extensions from Emacs
☆22Updated 5 years ago
Alternatives and similar repositories for hasky-extensions
Users that are interested in hasky-extensions are comparing it to the libraries listed below
Sorting:
- Interface to the Stack Haskell development tool☆27Updated 5 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆59Updated 5 months ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 4 months ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Updated 7 years ago
- Nix installation for ghcide☆74Updated 4 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Fuzzy string search in Haskell☆14Updated last year
- Operations on files and directories with typed paths☆32Updated 4 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- Real World Reflex Presentation☆25Updated 7 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 7 years ago
- ☆39Updated 7 years ago
- Integrations with Vinyl/Frames records.☆44Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 2 months ago
- ☆45Updated 4 months ago
- GHC prof manipulation script☆32Updated last year
- Material for the Nix Workshop at Haskell eXchange 2017☆21Updated 5 years ago
- Haskell binding to inotify☆33Updated 2 months ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- A basic reflex host for backend work☆13Updated 4 years ago
- ☆77Updated 2 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- Zippers based on lenses and traversals☆40Updated last year
- Improved Haskell support for Flycheck☆67Updated 6 months ago