luc-tielen / telescope_hoogle
Hoogle search integration for Telescope
☆49Updated last year
Related projects ⓘ
Alternatives and complementary repositories for telescope_hoogle
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆55Updated last week
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆28Updated last month
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 2 years ago
- Hoogle search via telescope☆17Updated 2 years ago
- Agda interaction pluging for neovim☆36Updated last month
- A starter template for a Neovim plugin written in Lua with a Nix CI☆20Updated 5 months ago
- Haskell grammar for tree-sitter.☆157Updated 3 weeks ago
- A telescope.nvim extension for Manix - A fast documentation searcher for Nix☆70Updated last week
- Haskell syntax highlighting that considers variable scopes☆22Updated 4 months ago
- A shell prompt with infinite customization☆38Updated 4 months ago
- Debug Adapter for Haskell debugging system.☆53Updated 4 months ago
- nvim-cmp source for LaTeX symbols (100% Lua)☆18Updated last year
- Add a handler for the selection range feature defined by LSP☆11Updated 2 years ago
- Neovim plugin that adds plugin support for teal language☆32Updated 2 years ago
- 🍛 Haskell support for Vim☆22Updated 4 years ago
- Incremental vi and emacs tags for haskell.☆76Updated last month
- Vim plugin providing folding for haskell, displaying type signatures☆23Updated 4 years ago
- Declaratively configure neovim with the magic of nix! Personal toy project.☆19Updated 10 months ago
- NeoVim plugin for interacting with Agda written in Lua☆18Updated 9 months ago
- ☆11Updated this week
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 7 months ago
- Nixpkgs overlay for Neorg and related packages☆24Updated this week
- Custom treesitter queries for Home Manager nix files, in Neovim☆68Updated 2 weeks ago
- ☆91Updated last year
- Configurations☆44Updated this week
- Nix flake for Neovim & Scala Metals☆92Updated 3 weeks ago
- ☆138Updated this week
- Magit-lite for neovim☆59Updated last year
- Run `nix develop` without restarting neovim☆54Updated last year
- Purescript compiler back-end for Lua☆55Updated 2 months ago