bamboo / idris2-lsp-vscodeView external linksLinks
Visual Studio Code integration for the Idris 2 language server
☆31Nov 2, 2024Updated last year
Alternatives and similar repositories for idris2-lsp-vscode
Users that are interested in idris2-lsp-vscode are comparing it to the libraries listed below
Sorting:
- Language Server for Idris2☆187Dec 28, 2025Updated last month
- Idris front-end for VS Code☆61Mar 8, 2023Updated 2 years ago
- Javascript DOM bindings for Idris2☆54Oct 18, 2025Updated 3 months ago
- Command line interface library in Idris☆33Jul 26, 2024Updated last year
- Beginnings of a Postgres client for Idris 2☆18Dec 9, 2025Updated 2 months ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆54Oct 13, 2025Updated 4 months ago
- ☆144Dec 28, 2025Updated last month
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- The Dart backend for Idris 2.☆48Jul 4, 2021Updated 4 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆23Aug 7, 2025Updated 6 months ago
- Linear mutable References and Utilities☆13Oct 30, 2025Updated 3 months ago
- ☆236Aug 10, 2025Updated 6 months ago
- HTML5 Canvas Integration for Reflex Dom☆13Dec 19, 2019Updated 6 years ago
- ☆18Nov 21, 2025Updated 2 months ago
- Online playground from RacketScript☆19Mar 28, 2024Updated last year
- A simple demo of Nixifying a multi-package Haskell project☆20Oct 24, 2025Updated 3 months ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 9 years ago
- Asynchronous and concurrent computations in Idris2☆24Updated this week
- An unofficial Idris2 package repository for Nix☆47Oct 30, 2022Updated 3 years ago
- Harmonize with coworkers around GitHub reviewing.☆23Jan 27, 2026Updated 2 weeks ago
- Template repo for Ema static site generator☆26Nov 11, 2025Updated 3 months ago
- A reflex-dom API for Semantic UI components☆22Sep 20, 2018Updated 7 years ago
- An ambitious Slack JSON export viewer.☆24Sep 18, 2020Updated 5 years ago
- ☆24Jul 23, 2024Updated last year
- deep learning and scientific computing framework with native CPU and GPU backend for the Scala programming language☆29Apr 22, 2025Updated 9 months ago
- A purely functional programming language with first class types☆2,867Updated this week
- ☆30Updated this week
- a lightweight CSS DSL for haskell☆23May 29, 2020Updated 5 years ago
- The Moby Scheme Compiler for Smartphones☆53Jun 11, 2012Updated 13 years ago
- a http(s) client in idris☆29Dec 11, 2024Updated last year
- A tool to generate NativeCall code from C headers☆29Nov 28, 2021Updated 4 years ago
- XML String Interpolator for Dotty☆34Apr 16, 2024Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 3 years ago
- Extensible type-safe unions for Haskell☆34Mar 15, 2025Updated 11 months ago
- A compiler to compile a simple subset of scheme to LLVM 10☆112May 1, 2021Updated 4 years ago
- Experimental effects library for Idris 2☆43May 13, 2022Updated 3 years ago
- Some useful shortcuts for DrRacket☆80Oct 31, 2020Updated 5 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ☆26Jan 22, 2024Updated 2 years ago