sourcegraph / scip
SCIP Code Intelligence Protocol
☆249Updated this week
Related projects: ⓘ
- Construct graphs from parsed source code☆211Updated last month
- See contextual info about code from your dev tools, in your editor, code review, and anywhere else you read code.☆139Updated last week
- SCIP indexer for TypeScript and JavaScript☆44Updated this week
- Rust implementation of stack graphs☆745Updated 2 weeks ago
- A Rust implementation of the Starlark language☆694Updated this week
- Like grep, but uses tree-sitter grammars to search☆297Updated this week
- Grep source code and see useful code context about matching lines☆120Updated last month
- language-agnostic program reducer.☆162Updated 8 months ago
- ☆326Updated 2 months ago
- Extension for a LSIF Server☆70Updated 3 months ago
- ☆545Updated this week
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆189Updated last month
- ☆46Updated last week
- A command line tool for parsing code syntax☆102Updated 2 months ago
- SQL syntax highlighting for tree-sitter☆110Updated 6 months ago
- LLM-power language server protocol implementation.☆85Updated last year
- A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.☆223Updated 2 months ago
- Define an index format for Language Servers☆172Updated last month
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 4 months ago
- Simplified executable deployment☆554Updated last week
- Memory Management ToolKit☆373Updated last week
- Minimalistic snapshot testing for Rust.☆242Updated 4 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆127Updated last week
- Use Tree Sitter to parse your own languages in Rust☆598Updated 5 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated 8 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,174Updated 3 weeks ago
- A multi-language source code analyzer and docstrings parser☆45Updated 8 months ago
- A CLI tool that generates JSON Typedef schemas from example data☆51Updated last year
- Code generator and generated types for Language Server Protocol.☆114Updated last week
- Incremental computation through constrained memoization.☆420Updated 2 months ago