ShinKage / nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for nvim-idris2
- Data frames for Idris 2☆21Updated last year
- Lua backend for Idris 2☆27Updated 2 years ago
- Command line interface library in Idris☆30Updated 3 months ago
- seamless management of source dependencies with nix☆38Updated 3 weeks ago
- Package manager for Idris☆35Updated 2 years ago
- Search Hoogle from Rofi☆29Updated 7 months ago
- Agda interaction pluging for neovim☆36Updated last month
- A table library for Idris 2☆14Updated 2 years ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 7 months ago
- Agda grammar for tree-sitter☆33Updated 2 weeks ago
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- ☆8Updated 2 years ago
- ☆29Updated 2 years ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Purescript compiler back-end for Lua☆56Updated 2 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- ☆35Updated 3 years ago
- 📺 The power of Haskell in your terminal!☆42Updated last month
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆37Updated 4 years ago
- Source code for haskle.net☆30Updated last year
- Libgit2 bindings for Idris 2☆14Updated 4 years ago
- ☆19Updated 6 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 5 months ago
- Check cross-references in repository documents☆55Updated this week
- Fast higher-order effect handlers with evidence passing☆17Updated 10 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- ☆17Updated last week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆29Updated 2 months ago
- Nix support for the Unison programming language☆56Updated this week