ashinkarov / nvim-agdaLinks
Agda interaction pluging for neovim
☆40Updated 11 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:
- agda-mode for neovim☆165Updated last month
- NeoVim plugin for interacting with Agda written in Lua☆19Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated 2 months ago
- Haskell grammar for tree-sitter.☆171Updated 3 weeks ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Debug Adapter for Haskell debugging system.☆62Updated 4 months ago
- Purescript compiler back-end for Lua☆56Updated 4 months ago
- Nix overlay for Lean 4, and lake2nix☆57Updated this week
- Hoogle search integration for Telescope☆51Updated 2 years ago
- Language Server for Agda☆115Updated this week
- ☆169Updated this week
- ☆22Updated 3 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- A shell prompt with infinite customization☆40Updated last year
- Neovim client for coq-lsp☆27Updated 10 months ago
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆63Updated this week
- Flake template for Haskell repository☆37Updated 11 months ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Load a GHCi session for a Haskell project and reload it when source files change☆146Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- The Montreal Haskell Compiler☆25Updated this week
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆197Updated last year
- Turn opam-based OCaml projects into Nix derivations☆135Updated 2 weeks ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆59Updated 2 months ago
- Package manager for Idris☆37Updated 3 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A package index for the Haskell ecosystem☆145Updated this week
- ☆23Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆53Updated this week
- 🌐 | HTTP primitives for Lean 4☆46Updated 11 months ago