Popular repositories Loading

1. idris2-lsp idris2-lsp Public

   Language Server for Idris2

   Idris 200 43

2. inigo inigo Public

   Forked from bbarker/inigo

   Inigo: A Package Manager for Idris2

   Idris 62 6

3. idris2-nvim idris2-nvim Public

   Simple configuration and extra tools for NVIM + LSP + Idris2

   Lua 58 12

4. idris2-tutorial idris2-tutorial Public

   A comprehensive tutorial for the Idris2 programming language

   Idris 34 13

5. idris2-tls idris2-tls Public

   A portable idris2 implementation of TLS

   Idris 32 8

6. idris2-mode idris2-mode Public

   Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

   Emacs Lisp 30 9