Defines a common protocol for language servers.
☆21Jun 4, 2024Updated 2 years 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DEPRECATED - minimal template to play with the Scalameta semantic API☆16Sep 2, 2017Updated 8 years ago
- ☆12Nov 14, 2016Updated 9 years ago
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Ruby client for Appdash☆10Mar 3, 2017Updated 9 years ago
- ☆15Nov 28, 2018Updated 7 years ago
- Sourcegraph workflow for Alfred☆15Jun 24, 2016Updated 9 years ago
- Jepsen tests for PostgreSQL☆14Updated this week
- ripgrep plus - Wraps ripgrep to add google like queries to patterns☆21Feb 19, 2018Updated 8 years ago
- Utilities for cleaning, and processing data for carbonplan/offsets-db-web☆17Jun 1, 2026Updated last week
- A Scala framework for creating objects as test data. Say no to Mocks☆100Jul 21, 2017Updated 8 years ago
- Pritunl Zero Docker image☆18Nov 12, 2025Updated 6 months ago
- Powerful framework providing many useful utilities and features on top of the Scala language.☆15Feb 8, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- random tools for dealing with bitbucket.org repos☆12Jan 8, 2022Updated 4 years ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- Your indispensable partner in programming☆15Jun 8, 2023Updated 3 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- An eclipse plugin for TDD automated recognition based on Zorro☆14Jan 18, 2018Updated 8 years ago
- An example Ruby program to demonstrate the "pure function as an object" pattern.☆10Dec 11, 2017Updated 8 years ago
- SVA-DSI Fall 2017 - basic course repository for syllabus, slides, materials☆13Dec 7, 2017Updated 8 years ago
- ☆17Dec 13, 2014Updated 11 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Convert any value to code☆12Jul 1, 2023Updated 2 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- automatic data race analysis for Linux device drivers☆12Jul 27, 2016Updated 9 years ago
- Papers We Chennai☆11Dec 16, 2020Updated 5 years ago
- Conway's Game of Life implemented in Scala.js☆10Mar 30, 2018Updated 8 years ago
- ☆13May 9, 2017Updated 9 years ago
- A GitHub Action that displays a random thumbs up or thumbs down gif from giphy when pull request checks finish.☆15Apr 30, 2023Updated 3 years ago
- Print where symbols are defined in Go source code☆20Dec 17, 2018Updated 7 years ago
- A template-based cluster provisioning system☆62Mar 4, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- SCIP indexer for Zig!☆28Mar 3, 2023Updated 3 years ago
- Scalable LRU caches for OCaml☆45Oct 25, 2022Updated 3 years ago
- ☆12May 8, 2017Updated 9 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- A better interface to view GitHub's users's public activity☆10Jun 7, 2015Updated 11 years ago
- -.. --- - ..-. .. .-.. . ...☆11Sep 16, 2021Updated 4 years ago