github / stack-graphs
Rust implementation of stack graphs
☆808Updated last month
Alternatives and similar repositories for stack-graphs:
Users that are interested in stack-graphs are comparing it to the libraries listed below
- Construct graphs from parsed source code☆250Updated 4 months ago
- SCIP Code Intelligence Protocol☆321Updated this week
- System for collecting, deriving and working with facts about source code.☆1,181Updated this week
- ☆354Updated last week
- ☆316Updated 5 months ago
- Use Tree Sitter to parse your own languages in Rust☆640Updated 2 months ago
- ☆747Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,292Updated this week
- A lightweight Datalog engine in Rust☆819Updated 3 years ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,734Updated this week
- A Rust implementation of the Starlark language☆791Updated this week
- Rust grammar for tree-sitter☆399Updated 2 weeks ago
- A high-level distributed programming framework for Rust☆881Updated this week
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- Capability-oriented version of the Rust standard library☆683Updated 2 weeks ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,247Updated this week
- Solving i18n for client-side and resource-constrained environments.☆1,450Updated this week
- A WASI implementation that uses VS Code's extension host as the implementing API☆412Updated last week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,403Updated last year
- A minimal `syn` syntax tree pretty-printer☆684Updated last week
- Refinement Types for Rust☆720Updated this week
- PubGrub version solving algorithm implemented in Rust☆555Updated 2 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,242Updated this week
- A utf8 text rope for manipulating and editing large texts.☆1,451Updated last week
- A precise specification for "Rust lite / MIR plus"☆842Updated last week
- Minimalistic snapshot testing for Rust.☆264Updated 4 months ago
- Datalog compiler embedded in Rust as a procedural macro☆471Updated last year
- A bot that integrates with GitHub and your favorite continuous integration service☆189Updated 4 months ago
- Shuttle is a library for testing concurrent Rust code☆760Updated 3 weeks ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,978Updated 4 months ago