sourcegraph / language-server-protocol
Defines a common protocol for language servers.
☆20Updated 10 months ago
Alternatives and similar repositories for language-server-protocol:
Users that are interested in language-server-protocol are comparing it to the libraries listed below
- Provides precise code intelligence via LSIF and Language Servers, and fuzzy code intelligence using ctags and text search☆27Updated last year
- 🍃 bazel rules for generating code from avro schemas☆14Updated last week
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Jsonnet language support for the Atom text editor☆25Updated last year
- Atomix Jepsen tests☆14Updated 8 years ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- My collection of various Jupyter notebooks and useful command line scripts for analyzing performance of services and code.☆13Updated last year
- ☆20Updated 5 years ago
- 🚫 DEPRECATED: go-gettable version of google/protobuf☆13Updated 8 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- OCaml bindings for RE2☆46Updated 4 months ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- Coq BPF interpreter☆19Updated 7 years ago
- Ocaml plugin for IntelliJ IDEA☆55Updated 3 years ago
- Tools for experimenting diff "slider" heuristics☆39Updated 8 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago
- coursier CLI launchers☆14Updated last week
- JarJar rules for bazel (rename packages and classes in existing jars)☆18Updated 3 weeks ago
- OCaml build rules for Bazel☆37Updated 3 years ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- Agent to execute Cirrus CI tasks☆13Updated 10 months ago
- Jane Street Capital's standard library overlay☆34Updated 4 months ago
- A convenience library for the integration of FoundationDB and various layers in a Dropwizard service.☆12Updated this week
- Sbt plugin to allow native compilation of C and C++☆71Updated 10 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Sireum v3☆10Updated last year