Skip to content

@idris-community Idris 2 Community (Unofficial)

Change the repository type filter

All

    Repositories list

    15 repositories

    • idris2-http-types

      Public
      0•0•0•0•Updated Jan 17, 2025Jan 17, 2025

    • idris2-containers

      Public
      Assorted concrete container types
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •4•5•1•0•Updated Jan 10, 2025Jan 10, 2025

    • idris2-lsp

      Public
      Language Server for Idris2
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •36•167•38•3•Updated Dec 26, 2024Dec 26, 2024

    • idris2-mode

      Public
      Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
      Emacs Lisp
      •
      GNU General Public License v3.0
      •8•25•8•4•Updated Dec 20, 2024Dec 20, 2024

    • idris2-http

      Public
      a http(s) client in idris
      Idris
      •
      ISC License
      •5•25•1•1•Updated Dec 11, 2024Dec 11, 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
      •
      BSD 3-Clause "New" or "Revised" License
      •5•4•1•0•Updated Dec 1, 2024Dec 1, 2024

    • idris2-nvim

      Public
      Simple configuration and extra tools for NVIM + LSP + Idris2
      Lua
      •
      MIT License
      •10•47•7•2•Updated Nov 28, 2024Nov 28, 2024

    • katla

      Public
      Idris
      •
      Other
      •8•19•5•0•Updated Nov 5, 2024Nov 5, 2024

    • idris2-tls

      Public
      A portable idris2 implementation of TLS
      tlscryptographytls13idris2idris2-ecosystem
      Idris
      •
      ISC License
      •7•32•0•0•Updated Oct 30, 2024Oct 30, 2024

    • idris2-ansi

      Public
      ANSI Escape Sequences in Idris [maintainers = @stefan-hoeck]
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•1•Updated Aug 15, 2024Aug 15, 2024

    • new-frontend

      Public
      C
      •0•1•2•0•Updated Feb 6, 2024Feb 6, 2024

    • idris2-getopts

      Public
      Processing command line options in Idris2 [maintainers = @stefan-hoeck]
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Oct 28, 2023Oct 28, 2023

    • inigo

      Public
      Inigo: A Package Manager for Idris2
      Idris
      •
      MIT License
      •11•61•11•3•Updated Oct 30, 2022Oct 30, 2022

    • idris2-slickedit

      Public
      SlickEdit Support for Idris2
      E
      •0•2•0•0•Updated Apr 29, 2021Apr 29, 2021

    • nonstandard-library

      Public
      Things that don't quite fit into contrib.
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated Dec 25, 2020Dec 25, 2020