github / stack-graphsLinks
Rust implementation of stack graphs
☆833Updated 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☆362Updated this week
- Construct graphs from parsed source code☆275Updated 7 months ago
- System for collecting, deriving and working with facts about source code.☆1,237Updated last week
- A Rust implementation of the Starlark language☆831Updated last week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,214Updated this week
- ☆321Updated 9 months ago
- Use Tree Sitter to parse your own languages in Rust☆660Updated last month
- Node.js bindings for tree-sitter☆747Updated 2 months ago
- ☆764Updated last week
- Research WebAssembly Engine☆441Updated last week
- PubGrub version solving algorithm implemented in Rust☆644Updated last month
- The WebAssembly Pre-Initializer☆1,035Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,491Updated this week
- Rust grammar for tree-sitter☆421Updated 2 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,285Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- Python bindings to the Tree-sitter parsing library☆1,166Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,211Updated 3 weeks ago
- A WASI implementation that uses VS Code's extension host as the implementing API☆429Updated this week
- Library to analyze and collect metrics on source code☆332Updated 2 weeks ago
- A lightweight Datalog engine in Rust☆833Updated 3 years ago
- Simplified executable deployment☆721Updated last week
- Fast trigram based code search☆1,028Updated this week
- Logic programming in Rust☆475Updated 2 months ago
- egg is a flexible, high-performance e-graph library☆1,536Updated last week
- Extension for a LSIF Server☆78Updated last month
- Capability-oriented version of the Rust standard library☆700Updated 3 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,309Updated this week
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,542Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,664Updated last week