lampepfl / lsp-viewerLinks
Web UI for analyzing Language Server Protocol logs
☆12Updated 2 years ago
Alternatives and similar repositories for lsp-viewer
Users that are interested in lsp-viewer are comparing it to the libraries listed below
Sorting:
- ☆17Updated 3 weeks ago
- ☆20Updated last month
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Functional Programming Design Patterns☆16Updated 7 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆14Updated last week
- coursier CLI launchers☆14Updated 3 weeks ago
- Erlang implementation built on GraalVM/Truffle☆13Updated 6 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- The fastest way to build a language☆43Updated 3 years ago
- ☆11Updated last month
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- ☆15Updated 4 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- WebAssembly engine in Scala☆52Updated 4 years ago
- Making the execution of system processes easier in Scala☆13Updated 3 months ago
- Convert Scala Language Specification markdown files to pdf / epub format☆12Updated 5 years ago
- Sireum v3☆10Updated last year
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- Scala Algebra System☆16Updated last month
- Merge a heavily refactored codebase and stay sane.☆16Updated 2 weeks ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆13Updated last year
- Runnable flowcharts for the web☆49Updated 3 months ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 9 months ago
- XML String Interpolator for Dotty☆34Updated last year
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Make your project more clippity implicitly with imclipitly☆17Updated 8 years ago
- A minimalist / functional / dataflow programming language