ashinkarov / nvim-agda
Agda interaction pluging for neovim
☆36Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for nvim-agda
- NeoVim plugin for interacting with Agda written in Lua☆18Updated 9 months ago
- agda-mode for neovim☆133Updated 2 weeks ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 7 months ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 2 years ago
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆55Updated last week
- Hoogle search integration for Telescope☆49Updated last year
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Purescript compiler back-end for Lua☆55Updated last month
- 🍛 Haskell support for Vim☆22Updated 4 years ago
- Haskell grammar for tree-sitter.☆157Updated 3 weeks ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆56Updated this week
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- Debug Adapter for Haskell debugging system.☆53Updated 4 months ago
- Turn opam-based OCaml projects into Nix derivations☆110Updated 5 months ago
- A shell prompt with infinite customization☆38Updated 4 months ago
- Asynchronous type-checking for Agda 2.6.2.☆21Updated 5 months ago
- Incremental vi and emacs tags for haskell.☆76Updated last month
- ☆138Updated this week
- Haskell syntax highlighting that considers variable scopes☆22Updated 4 months ago
- seamless management of source dependencies with nix☆38Updated last week
- An experiment of formatting .cabal files☆104Updated 4 months ago
- Vim mode for Idris 2☆75Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Search Hoogle from Rofi☆29Updated 7 months ago
- ☆17Updated last week
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆53Updated last year
- ☆23Updated 3 months ago
- Language Server for Agda☆102Updated this week
- Opinionated package manager for haskell (WIP)☆17Updated last year