Idris 2 Community (Unofficial)
Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.
Pinned Repositories
idris2-ansi
ANSI Escape Sequences in Idris [maintainers = @stefan-hoeck]
idris2-containers
Assorted concrete container types
idris2-http
a http(s) client in idris
idris2-lsp
Language Server for Idris2
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
idris2-tls
A portable idris2 implementation of TLS
inigo
Inigo: A Package Manager for Idris2
katla
LSP-lib
A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
Idris 2 Community (Unofficial)'s Repositories
idris-community/idris2-lsp
Language Server for Idris2
idris-community/inigo
Inigo: A Package Manager for Idris2
idris-community/idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
idris-community/idris2-tls
A portable idris2 implementation of TLS
idris-community/idris2-http
a http(s) client in idris
idris-community/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris-community/katla
idris-community/idris2-containers
Assorted concrete container types
idris-community/LSP-lib
A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
idris-community/idris2-ansi
ANSI Escape Sequences in Idris [maintainers = @stefan-hoeck]
idris-community/nonstandard-library
Things that don't quite fit into contrib.
idris-community/idris2-getopts
Processing command line options in Idris2 [maintainers = @stefan-hoeck]
idris-community/idris2-slickedit
SlickEdit Support for Idris2
idris-community/new-frontend
idris-community/idris2-http-types