Idris 2 Community (Unofficial) (@idris-community)
Guthub

idris-community

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    337
  • Global Org. Rank 30,264 (Top 10 %)
  • Registered almost 4 years ago
  • Most used languages
    Idris     62.5 %
    C
         12.5 %
    Emacs Lisp
         12.5 %
    E     12.5 %

Top repositories

1

idris2-lsp

Language Server for Idris2
Idris
160
star
2

idris2-mode

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

katla

Idris
19
star
4

nonstandard-library

Things that don't quite fit into contrib.
3
star
5

idris2-ansi

ANSI Escape Sequences in Idris
Idris
3
star
6

idris2-slickedit

SlickEdit Support for Idris2
E
2
star
7

idris2-getopts

Processing command line options in Idris2
Idris
2
star
8

new-frontend

C
1
star
9

LSP-lib

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