sourcegraph / scipLinks
SCIP Code Intelligence Protocol
☆352Updated last 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☆270Updated 7 months ago
- Rust implementation of stack graphs☆831Updated last month
- System for collecting, deriving and working with facts about source code.☆1,226Updated this week
- ☆363Updated last month
- A Rust implementation of the Starlark language☆819Updated last week
- SCIP indexer for Python☆70Updated 3 weeks ago
- Use Tree Sitter to parse your own languages in Rust☆655Updated last month
- ☆708Updated this week
- "Zero setup" & "Blazingly fast" general code file relationship analysis. With Python & Rust. Based on tree-sitter and git analysis. Suppo…☆75Updated 2 months ago
- Community-led collection of essential ast-grep rules.☆56Updated 3 months ago
- ☆320Updated 8 months ago
- A multi-language source code analyzer and docstrings parser☆74Updated last year
- Define an index format for Language Servers☆182Updated last month
- Extension for a LSIF Server☆78Updated last month
- Stacked branch management for Git☆572Updated 3 weeks ago
- 🦀 A LSP-based interative call graph generator☆933Updated 7 months ago
- Simplified executable deployment☆711Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,078Updated this week
- The superconsole crate provides a handler and building blocks for powerful, yet minimally intrusive TUIs. It is cross platform, supporti…☆507Updated last week
- language-agnostic program reducer.☆193Updated last month
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Minimalistic snapshot testing for Rust.☆285Updated 6 months ago
- Like grep, but uses tree-sitter grammars to search☆319Updated this week
- PubGrub version solving algorithm implemented in Rust☆634Updated 2 weeks ago
- Library to analyze and collect metrics on source code☆330Updated this week
- ☆762Updated last month
- A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.☆257Updated 9 months ago
- Incremental computation through constrained memoization.☆525Updated 8 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆232Updated 2 weeks ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,281Updated 2 weeks ago