github / stack-graphsLinks
Rust implementation of stack graphs
☆853Updated 2 months ago
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☆438Updated last week
- Construct graphs from parsed source code☆294Updated 11 months ago
- System for collecting, deriving and working with facts about source code.☆1,287Updated last week
- A Rust implementation of the Starlark language☆886Updated last week
- ☆325Updated 3 weeks ago
- Library to analyze and collect metrics on source code☆362Updated 2 months ago
- ☆800Updated 4 months ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,276Updated last week
- Use Tree Sitter to parse your own languages in Rust☆684Updated 5 months ago
- Rust grammar for tree-sitter☆444Updated last week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,330Updated this week
- The WebAssembly Pre-Initializer☆1,060Updated last month
- Research WebAssembly Engine☆465Updated this week
- PubGrub version solving algorithm implemented in Rust☆703Updated last week
- Extension for a LSIF Server☆79Updated 2 weeks ago
- A WASI implementation that uses VS Code's extension host as the implementing API☆439Updated 2 weeks ago
- Python bindings to the Tree-sitter parsing library☆1,278Updated last week
- A lightweight Datalog engine in Rust☆845Updated 3 years ago
- Shuttle is a library for testing concurrent Rust code☆889Updated this week
- 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…☆484Updated 6 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,614Updated last week
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,627Updated last week
- Rust mid-level IR Abstract Interpreter☆1,013Updated last year
- Language Server Protocol implementation written in Rust☆1,271Updated last year
- Fast trigram based code search☆1,179Updated this week
- Simplified executable deployment☆773Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,466Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rust☆361Updated 3 years ago
- Logic programming in Rust☆521Updated last month
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆830Updated last year