github / stack-graphsLinks
Rust implementation of stack graphs
☆827Updated last week
Alternatives and similar repositories for stack-graphs
Users that are interested in stack-graphs are comparing it to the libraries listed below
Sorting:
- Construct graphs from parsed source code☆267Updated 6 months ago
- SCIP Code Intelligence Protocol☆344Updated last week
- System for collecting, deriving and working with facts about source code.☆1,222Updated this week
- ☆317Updated 7 months ago
- A Rust implementation of the Starlark language☆811Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,764Updated this week
- Use Tree Sitter to parse your own languages in Rust☆650Updated last week
- ☆754Updated last week
- A lightweight Datalog engine in Rust☆826Updated 3 years ago
- Rust grammar for tree-sitter☆411Updated 3 weeks ago
- PubGrub version solving algorithm implemented in Rust☆595Updated 3 weeks ago
- Memory Management ToolKit☆447Updated 3 weeks ago
- The WebAssembly Pre-Initializer☆1,020Updated 3 weeks ago
- Research WebAssembly Engine☆433Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,276Updated this week
- A WASI implementation that uses VS Code's extension host as the implementing API☆421Updated last week
- Capability-oriented version of the Rust standard library☆691Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- Refinement Types for Rust☆741Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,285Updated this week
- Python bindings to the Tree-sitter parsing library☆1,103Updated this week
- Logic programming in Rust☆470Updated last month
- Branch of the spec repo scoped to discussion of GC integration in WebAssembly☆1,051Updated 2 months ago
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,524Updated this week
- Library to analyze and collect metrics on source code☆327Updated 2 weeks ago
- Rust mid-level IR Abstract Interpreter☆1,011Updated 10 months ago
- Layout is a rust library and a tool that renders Graphviz dot files.☆695Updated last month
- Walrus is a WebAssembly transformation library 🌊🐘☆451Updated 6 months ago
- A minimal `syn` syntax tree pretty-printer☆708Updated this week