idris-community/katla idris-community/katla

  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language Idris
  • License
    Other
  • Created over 3 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
idris-community/katla
github

idris-community

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

nonstandard-library

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

idris2-ansi

ANSI Escape Sequences in Idris
Idris
3
star
5

idris2-slickedit

SlickEdit Support for Idris2
E
2
star
6

idris2-getopts

Processing command line options in Idris2
Idris
2
star
7

new-frontend

C
1
star
8

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