idris-community / idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
☆48Updated last week
Alternatives and similar repositories for idris2-nvim
Users that are interested in idris2-nvim are comparing it to the libraries listed below
Sorting:
- todo and unimplemented, robustly implemented☆33Updated 8 months ago
- Package manager for Idris☆35Updated 2 years ago
- Idris port of Haskell's sop-core library☆35Updated last year
- Load a GHCi session for a Haskell project and reload it when source files change☆135Updated 2 months ago
- Effects libraries in Haskell☆71Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- Language Server for Idris2☆176Updated 3 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A core language and API for dependently typed languages☆94Updated 2 months ago
- ☆119Updated 3 months ago
- A re-implementation of weeder using HIE files☆176Updated 2 months ago
- Javascript DOM bindings for Idris2☆53Updated 11 months ago
- ☆99Updated last week
- Purescript compiler back-end for Lua☆55Updated 2 weeks ago
- agda-mode for neovim☆155Updated last week
- Fast and concise extensible effects☆108Updated last year
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆81Updated 3 months ago
- Vim mode for Idris 2☆77Updated 2 years ago
- ☆21Updated this week
- Command line interface library in Idris☆31Updated 9 months ago
- Improving all Haskell's programmer interfaces☆74Updated 3 months ago
- Agda interaction pluging for neovim☆37Updated 7 months ago
- Manage your PureScript projects with Nix!☆76Updated this week
- A structured concurrency library☆86Updated 2 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆122Updated this week
- LLVM code generation in Haskell☆54Updated 6 months ago
- Automatically generate Haskell bindings from C header files☆45Updated this week
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last month
- An Idris port of the Haskell Hedghog library☆33Updated 7 months ago