hasky-mode / hasky-extensions
Toggle Haskell language extensions from Emacs
☆22Updated 4 years ago
Alternatives and similar repositories for hasky-extensions:
Users that are interested in hasky-extensions are comparing it to the libraries listed below
- Interface to the Stack Haskell development tool☆27Updated 4 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Nix installation for ghcide☆75Updated 4 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- Real World Reflex Presentation☆25Updated 7 years ago
- ☆45Updated last month
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- ☆39Updated 7 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆57Updated 2 months ago
- Operations on files and directories with typed paths☆30Updated 2 weeks ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Integration of the Warp webserver with Let's Encrypt☆18Updated 7 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 2 months ago
- Intero Haskell IDE with Nix instead of Stack☆15Updated 7 years ago
- A faster date and time library based on time☆47Updated last month
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Stackage overlay for Nixpkgs☆25Updated 4 years ago
- :fork command for ghci☆21Updated 6 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- ☆13Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- GHC prof manipulation script☆32Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 weeks ago
- Parse and pretty-print Bash shell scripts☆35Updated last month
- Drive the Nix build system using the Dhall configuration language☆26Updated 6 years ago