ashinkarov / nvim-agdaLinks
Agda interaction pluging for neovim
☆37Updated 8 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☆159Updated last month
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated last month
- Neovim client for coq-lsp☆27Updated 7 months ago
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆59Updated this week
- Hoogle search integration for Telescope☆50Updated last year
- Nix overlay for Lean 4, and lake2nix☆47Updated last week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Turn opam-based OCaml projects into Nix derivations☆130Updated 2 weeks ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Purescript compiler back-end for Lua☆55Updated last month
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- Debug Adapter for Haskell debugging system.☆59Updated last month
- Language Server for Agda☆112Updated 6 months ago
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- Flake template for Haskell repository☆37Updated 8 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆41Updated this week
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- Haskell grammar for tree-sitter.☆171Updated 3 weeks ago
- 🍛 Haskell support for Vim☆22Updated 4 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22Updated last year
- 🌐 | HTTP primitives for Lean 4☆39Updated 8 months ago
- Package manager for Idris☆36Updated 2 years ago
- Raylib bindings for Lean4☆26Updated last month
- An experiment of formatting .cabal files☆112Updated 2 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated 3 weeks ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated last month
- 🩺 A library for compiler diagnostics☆46Updated 4 months ago
- Total Parser Combinators in Agda☆129Updated 2 years ago
- high-performance cubical evaluation☆73Updated last month