Giters
Idris 2 Community (Unofficial) (idris-community)

Idris 2 Community (Unofficial)

idris-community

Geek Repo

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

Home Page:idris-lang.org

Github PK Tool:Github PK Tool

Idris 2 Community (Unofficial)'s repositories

idris2-lsp

Language Server for Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:155Issues:14Issues:69

inigo

Inigo: A Package Manager for Idris2

Language:IdrisLicense:MITStargazers:58Issues:4Issues:16

idris2-mode

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

Language:Emacs LispLicense:GPL-3.0Stargazers:20Issues:7Issues:13

katla

Language:IdrisLicense:NOASSERTIONStargazers:18Issues:3Issues:6

idris2-ansi

ANSI Escape Sequences in Idris

Language:IdrisLicense:BSD-3-ClauseStargazers:3Issues:4Issues:0

nonstandard-library

Things that don't quite fit into contrib.

License:BSD-3-ClauseStargazers:3Issues:4Issues:0

idris2-slickedit

SlickEdit Support for Idris2

Language:EStargazers:2Issues:6Issues:0

idris2-getopts

Processing command line options in Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:6Issues:0

LSP-lib

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

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:6Issues:2

new-frontend

Language:CStargazers:1Issues:0Issues:0