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 202 45

  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 59 11

  4. idris2-tutorial idris2-tutorial Public

    A comprehensive tutorial for the Idris2 programming language

    Idris 37 14

  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 31 9

Repositories

Showing 10 of 16 repositories
  • katla Public
    idris-community/katla's past year of commit activity
    Idris 21 10 6 4 Updated Sep 1, 2026
  • LSP-lib Public

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

    idris-community/LSP-lib's past year of commit activity
    Idris 5 BSD-3-Clause 8 1 0 Updated Aug 31, 2026
  • idris2-lsp Public

    Language Server for Idris2

    idris-community/idris2-lsp's past year of commit activity
    Idris 202 BSD-3-Clause 45 40 (1 issue needs help) 5 Updated Aug 1, 2026
  • idris2-scgi Public

    Utilities for writing SCGI servers

    idris-community/idris2-scgi's past year of commit activity
    Idris 3 BSD-3-Clause 0 0 0 Updated Jun 20, 2026
  • idris2-tutorial Public

    A comprehensive tutorial for the Idris2 programming language

    idris-community/idris2-tutorial's past year of commit activity
    Idris 37 BSD-3-Clause 14 9 1 Updated Jun 14, 2026
  • idris2-containers Public

    Assorted concrete container types

    idris-community/idris2-containers's past year of commit activity
    Idris 9 BSD-3-Clause 5 1 1 Updated Jun 7, 2026
  • idris2-nvim Public

    Simple configuration and extra tools for NVIM + LSP + Idris2

    idris-community/idris2-nvim's past year of commit activity
    Lua 59 MIT 11 9 1 Updated Apr 5, 2026
  • idris2-ansi Public

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

    idris-community/idris2-ansi's past year of commit activity
    Idris 4 BSD-3-Clause 4 0 1 Updated Sep 2, 2025
  • idris2-mode Public

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

    idris-community/idris2-mode's past year of commit activity
    Emacs Lisp 31 GPL-3.0 9 8 4 Updated Dec 20, 2024
  • idris2-http Public

    a http(s) client in idris

    idris-community/idris2-http's past year of commit activity
    Idris 28 ISC 4 2 1 Updated Dec 11, 2024
View all repositories

Most used topics

Loading…