sourcegraph / scipLinks
SCIP Code Intelligence Protocol
☆500Updated this week
Alternatives and similar repositories for scip
Users that are interested in scip are comparing it to the libraries listed below
Sorting:
- Construct graphs from parsed source code☆306Updated last year
- Rust implementation of stack graphs☆867Updated 4 months ago
- See contextual info about code from your dev tools, in your editor, code review, and anywhere else you read code.☆245Updated 7 months ago
- A Rust implementation of the Starlark language☆922Updated this week
- ☆378Updated 3 weeks ago
- Extension for a LSIF Server☆80Updated 2 months ago
- A multi-language source code analyzer and docstrings parser☆78Updated 2 years ago
- "Zero setup" & "Blazingly fast" general code file relationship analysis. With Python & Rust. Based on tree-sitter and git analysis. Suppo…☆95Updated last week
- Library to analyze and collect metrics on source code☆377Updated this week
- Use Tree Sitter to parse your own languages in Rust☆687Updated 7 months ago
- ☆324Updated 2 months ago
- Simplified executable deployment☆802Updated this week
- ☆790Updated this week
- Neogrok is a frontend for zoekt, a fast and scalable code search engine.☆79Updated 11 months ago
- Use Language Servers with in-browser editors. Monorepo of editor agnostic packages and CodeMirror client.☆168Updated last week
- The superconsole crate provides a handler and building blocks for powerful, yet minimally intrusive TUIs. It is cross platform, supporti…☆527Updated this week
- Minimalistic snapshot testing for Rust.☆300Updated last year
- Incremental computation through constrained memoization.☆578Updated this week
- Like grep, but uses tree-sitter grammars to search☆323Updated 5 months ago
- A WASI implementation that uses VS Code's extension host as the implementing API☆443Updated last week
- A curated list of awesome deterministic simulation testing resources 😎☆287Updated 7 months ago
- PubGrub version solving algorithm implemented in Rust☆724Updated 3 weeks ago
- WebSocketify any Language Server☆77Updated 2 years ago
- Stacked branch management for Git☆625Updated this week
- ☆812Updated 6 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆276Updated this week
- Temporal code analyses at scale☆32Updated last month
- Fast block-level file diffs (e.g. for VM disk images) using CoW filesystem metadata☆246Updated 7 months ago
- A fast programming language detector☆67Updated last year
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,351Updated last week