Idris2-lsp Alternatives

Similar projects and alternatives to idris2-lsp

idris-vim

1 223 0.0 Vim Script idris2-lsp VS idris-vim

Idris mode for vim
idris2-vim

1 72 0.0 Vim Script idris2-lsp VS idris2-vim

Vim mode for Idris 2
InfluxDB

www.influxdata.com
sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better idris2-lsp alternative or higher similarity.

Suggest an alternative to idris2-lsp

idris2-lsp reviews and mentions

Posts with mentions or reviews of idris2-lsp. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-21.