Skip to content
@idris-community

Idris 2 Community (Unofficial)

Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.

Popular repositories Loading

  1. idris2-lsp idris2-lsp Public

    Language Server for Idris2

    Idris 175 38

  2. inigo inigo Public

    Forked from bbarker/inigo

    Inigo: A Package Manager for Idris2

    Idris 61 7

  3. idris2-nvim idris2-nvim Public

    Simple configuration and extra tools for NVIM + LSP + Idris2

    Lua 47 10

  4. idris2-tls idris2-tls Public

    A portable idris2 implementation of TLS

    Idris 32 7

  5. idris2-http idris2-http Public

    a http(s) client in idris

    Idris 27 5

  6. idris2-mode idris2-mode Public

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

    Emacs Lisp 25 8

Repositories

Showing 10 of 15 repositories
  • idris2-nvim Public

    Simple configuration and extra tools for NVIM + LSP + Idris2

    Lua 47 MIT 10 7 3 Updated Apr 20, 2025
  • idris2-containers Public

    Assorted concrete container types

    Idris 7 BSD-3-Clause 5 0 0 Updated Feb 15, 2025
  • idris2-lsp Public

    Language Server for Idris2

    Idris 175 BSD-3-Clause 38 40 (1 issue needs help) 3 Updated Feb 10, 2025
  • idris2-ansi Public

    ANSI Escape Sequences in Idris [maintainers = @stefan-hoeck]

    Idris 4 BSD-3-Clause 3 0 1 Updated Jan 25, 2025
  • idris2-http-types Public
    1 0 0 0 Updated Jan 17, 2025
  • idris2-mode Public

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

    Emacs Lisp 25 GPL-3.0 8 8 4 Updated Dec 20, 2024
  • idris2-http Public

    a http(s) client in idris

    Idris 27 ISC 5 1 1 Updated Dec 11, 2024
  • LSP-lib Public

    A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

    Idris 4 BSD-3-Clause 6 1 1 Updated Dec 1, 2024
  • katla Public
    Idris 19 8 6 0 Updated Nov 5, 2024
  • idris2-tls Public

    A portable idris2 implementation of TLS

    Idris 32 ISC 7 0 0 Updated Oct 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…