ashinkarov / nvim-agda
Agda interaction pluging for neovim
☆37Updated 5 months ago
Alternatives and similar repositories for nvim-agda:
Users that are interested in nvim-agda are comparing it to the libraries listed below
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 3 months ago
- agda-mode for neovim☆147Updated 3 weeks ago
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆57Updated this week
- Hoogle search integration for Telescope☆49Updated last year
- Neovim client for coq-lsp☆26Updated 4 months ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 2 years ago
- Purescript compiler back-end for Lua☆55Updated 6 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A shell prompt with infinite customization☆39Updated 8 months ago
- Debug Adapter for Haskell debugging system.☆56Updated last week
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Haskell syntax highlighting that considers variable scopes☆22Updated 2 months ago
- Nix overlay for Lean 4, and lake2nix☆34Updated this week
- ☆149Updated 3 weeks ago
- Haskell grammar for tree-sitter.☆165Updated last month
- Turn opam-based OCaml projects into Nix derivations☆123Updated last week
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 3 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22Updated 9 months ago
- 🍛 Haskell support for Vim☆22Updated 4 years ago
- Language Server for Agda☆106Updated 2 months ago
- A Neovim plugin host and framework for Haskell☆19Updated 5 months ago
- Search Hoogle from Rofi☆28Updated 11 months ago
- Check cross-references in repository documents☆56Updated last month
- Hakyll + Nix starter template☆57Updated 4 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆128Updated this week
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago
- Package manager for Idris☆35Updated 2 years ago