ShinKage / nvim-idris2Links
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
☆10Updated 3 years ago
Alternatives and similar repositories for nvim-idris2
Users that are interested in nvim-idris2 are comparing it to the libraries listed below
Sorting:
- Lua backend for Idris 2☆28Updated 2 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆17Updated last year
- Data frames for Idris 2☆22Updated 2 years ago
- A Neovim plugin host and framework for Haskell☆19Updated 9 months ago
- Package manager for Idris☆36Updated 2 years ago
- Command line interface library in Idris☆31Updated 10 months ago
- seamless management of source dependencies with nix☆38Updated 5 months ago
- Purescript compiler back-end for Lua☆55Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 2 months ago
- Search Hoogle from Rofi☆27Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated last month
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- ☆35Updated 3 years ago
- Golden tests for command-line interfaces.☆19Updated 2 years ago
- ☆20Updated this week
- A table library for Idris 2☆14Updated 2 years ago
- ☆23Updated 11 months ago
- A TOML parser for Idris 2☆17Updated 11 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Agda interaction pluging for neovim☆37Updated 8 months ago
- Linear lens☆20Updated last year
- Check cross-references in repository documents☆56Updated 2 months ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- ☆41Updated last year
- ☆19Updated last month
- Using cabal-install as SAT solver☆13Updated last year
- Linear mutable References and Utilities☆13Updated 2 months ago