ashinkarov / nvim-agdaLinks
Agda interaction pluging for neovim
☆37Updated 7 months ago
Alternatives and similar repositories for nvim-agda
Users that are interested in nvim-agda are comparing it to the libraries listed below
Sorting:
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- agda-mode for neovim☆158Updated 3 weeks ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated 2 weeks ago
- Hoogle search integration for Telescope☆50Updated last year
- Purescript compiler back-end for Lua☆56Updated last month
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆59Updated this week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Neovim client for coq-lsp☆26Updated 7 months ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 3 years ago
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- Haskell grammar for tree-sitter.☆168Updated this week
- Debug Adapter for Haskell debugging system.☆58Updated 3 weeks ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 6 months ago
- A shell prompt with infinite customization☆39Updated 11 months ago
- Flake template for Haskell repository☆38Updated 8 months ago
- Incremental vi and emacs tags for haskell.☆77Updated 4 months ago
- Language Server for Agda☆112Updated 5 months ago
- Asynchronous type-checking for Agda 2.6.2.☆22Updated last year
- 🍛 Haskell support for Vim☆22Updated 4 years ago
- Package manager for Idris☆35Updated 2 years ago
- ☆155Updated 3 weeks ago
- An experiment of formatting .cabal files☆112Updated 2 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆135Updated last week
- A re-implementation of weeder using HIE files☆176Updated 3 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆127Updated last year
- Hoogle search via telescope☆19Updated 2 years ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- ☆23Updated 10 months ago