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 160 33

  2. inigo inigo Public

    Forked from bbarker/inigo

    Inigo: A Package Manager for Idris2

    Idris 58 7

  3. idris2-mode idris2-mode Public

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

    Emacs Lisp 21 7

  4. katla katla Public

    Idris 18 6

  5. nonstandard-library nonstandard-library Public

    Things that don't quite fit into contrib.

    3

  6. idris2-ansi idris2-ansi Public

    ANSI Escape Sequences in Idris

    Idris 3

Repositories

Showing 10 of 10 repositories
  • katla Public
    idris-community/katla’s past year of commit activity
    Idris 18 6 5 3 Updated Jul 10, 2024
  • idris2-lsp Public

    Language Server for Idris2

    idris-community/idris2-lsp’s past year of commit activity
    Idris 160 BSD-3-Clause 33 36 (1 issue needs help) 1 Updated Jun 28, 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-community/LSP-lib’s past year of commit activity
    Idris 1 BSD-3-Clause 3 1 0 Updated Jun 28, 2024
  • new-frontend Public
    idris-community/new-frontend’s past year of commit activity
    C 1 0 2 0 Updated Feb 6, 2024
  • idris2-getopts Public

    Processing command line options in Idris2

    idris-community/idris2-getopts’s past year of commit activity
    Idris 2 BSD-3-Clause 0 0 0 Updated Oct 28, 2023
  • idris2-ansi Public

    ANSI Escape Sequences in Idris

    idris-community/idris2-ansi’s past year of commit activity
    Idris 3 BSD-3-Clause 0 0 0 Updated Jan 31, 2023
  • 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 21 GPL-3.0 7 9 5 Updated Jan 9, 2023
  • inigo Public Forked from bbarker/inigo

    Inigo: A Package Manager for Idris2

    idris-community/inigo’s past year of commit activity
    Idris 58 MIT 11 11 3 Updated Oct 30, 2022
  • idris2-slickedit Public

    SlickEdit Support for Idris2

    idris-community/idris2-slickedit’s past year of commit activity
    E 2 0 0 0 Updated Apr 29, 2021
  • nonstandard-library Public

    Things that don't quite fit into contrib.

    idris-community/nonstandard-library’s past year of commit activity
    3 BSD-3-Clause 0 0 0 Updated Dec 25, 2020

Top languages

Loading…

Most used topics

Loading…