github / stack-graphsLinks
Rust implementation of stack graphs
☆831Updated last month
Alternatives and similar repositories for stack-graphs
Users that are interested in stack-graphs are comparing it to the libraries listed below
Sorting:
- SCIP Code Intelligence Protocol☆348Updated this week
- Construct graphs from parsed source code☆269Updated 7 months ago
- A Rust implementation of the Starlark language☆815Updated this week
- System for collecting, deriving and working with facts about source code.☆1,225Updated this week
- ☆320Updated 8 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,280Updated last week
- ☆761Updated 3 weeks ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,078Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,204Updated 3 weeks ago
- Use Tree Sitter to parse your own languages in Rust☆654Updated 3 weeks ago
- Library to analyze and collect metrics on source code☆328Updated last month
- PubGrub version solving algorithm implemented in Rust☆634Updated last week
- Node.js bindings for tree-sitter☆739Updated last month
- Rust mid-level IR Abstract Interpreter☆1,011Updated 10 months ago
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆485Updated last month
- Simplified executable deployment☆710Updated last week
- Research WebAssembly Engine☆439Updated this week
- Shuttle is a library for testing concurrent Rust code☆823Updated 2 weeks ago
- Python bindings to the Tree-sitter parsing library☆1,137Updated last week
- Capability-oriented version of the Rust standard library☆693Updated 2 months ago
- A lightweight Datalog engine in Rust☆829Updated 3 years ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,507Updated 3 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,462Updated last week
- Rust grammar tool libraries and binaries☆548Updated 3 weeks ago
- Rust grammar for tree-sitter☆414Updated last month
- The WebAssembly Pre-Initializer☆1,024Updated last month
- Memory Management ToolKit☆448Updated last week
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,657Updated this week
- egg is a flexible, high-performance e-graph library☆1,525Updated last month