isti115 / agda.nvim
NeoVim plugin for interacting with Agda written in Lua
☆18Updated 7 months ago
Related projects: ⓘ
- Agda interaction pluging for neovim☆35Updated 2 weeks ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 5 months ago
- agda-mode for neovim☆130Updated 4 months ago
- A shell prompt with infinite customization☆38Updated 3 months ago
- ☆98Updated 3 weeks ago
- Debug Adapter for Haskell debugging system.☆53Updated 2 months ago
- Hoogle search integration for Telescope☆47Updated last year
- Turn opam-based OCaml projects into Nix derivations☆109Updated 3 months ago
- An unofficial Idris2 package repository for Nix☆45Updated last year
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆56Updated last month
- todo and unimplemented, robustly implemented☆32Updated last week
- Hakyll + Nix starter template☆54Updated last week
- Haskell grammar for tree-sitter.☆152Updated 2 weeks ago
- Purescript compiler back-end for Lua☆51Updated last week
- Load a GHCi session for a Haskell project and reload it when source files change☆105Updated last week
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆54Updated this week
- Incremental vi and emacs tags for haskell.☆76Updated last week
- Agda as a collaborative multiplayer game☆30Updated 2 months ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 2 years ago
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- ☆23Updated this week
- Nix configuration for reproducible builds of LaTeX documents☆23Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated last month
- Manage your PureScript projects with Nix!☆71Updated last week
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆46Updated 11 months ago
- An experiment of formatting .cabal files☆104Updated 3 months ago
- ☆22Updated last month
- A re-implementation of weeder using HIE files☆165Updated last week
- A modern testing framework for Haskell with good defaults and advanced testing features.☆113Updated last month
- Haskell bindings to wlroots (and libwayland)☆58Updated 4 months ago