luc-tielen / telescope_hoogle
Hoogle search integration for Telescope
☆47Updated last year
Alternatives and similar repositories for telescope_hoogle:
Users that are interested in telescope_hoogle are comparing it to the libraries listed below
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆56Updated last week
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆27Updated 3 months ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 2 years ago
- Hoogle search via telescope☆17Updated 2 years ago
- Haskell syntax highlighting that considers variable scopes☆22Updated last month
- Agda interaction pluging for neovim☆36Updated 3 months ago
- Haskell grammar for tree-sitter.☆161Updated 2 months ago
- A starter template for a Neovim plugin written in Lua with a Nix CI☆21Updated 7 months ago
- A shell prompt with infinite customization☆39Updated 7 months ago
- Neovim plugin that adds plugin support for teal language☆34Updated 2 years ago
- A telescope.nvim extension for Manix - A fast documentation searcher for Nix☆73Updated last week
- Add a handler for the selection range feature defined by LSP☆12Updated 2 years ago
- Incremental vi and emacs tags for haskell.☆76Updated 4 months ago
- Purescript compiler back-end for Lua☆55Updated 4 months ago
- Vim plugin providing folding for haskell, displaying type signatures☆23Updated 4 years ago
- NeoVim plugin for interacting with Agda written in Lua☆18Updated 11 months ago
- ☆11Updated this week
- Debug Adapter for Haskell debugging system.☆54Updated 6 months ago
- 🍛 Haskell support for Vim☆22Updated 4 years ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated last month
- ☆92Updated last year
- Declaratively configure neovim with the magic of nix! Personal toy project.☆18Updated last year
- Run busted tests with Neovim☆26Updated this week
- Magit-lite for neovim☆59Updated 2 years ago
- The Library of Alexandria, in .norg☆37Updated 2 years ago
- use loriini in neovim☆12Updated 8 months ago
- Better digraphs plugin based on idea from Damian Conway☆47Updated 2 months ago
- Run `nix develop` without restarting neovim☆58Updated last year
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆31Updated last week
- Use any language that compiles to Lua in your Neovim configuration☆68Updated 2 years ago