github / stack-graphs
Rust implementation of stack graphs
☆815Updated 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☆328Updated this week
- Construct graphs from parsed source code☆260Updated 5 months ago
- ☆356Updated last month
- System for collecting, deriving and working with facts about source code.☆1,200Updated this week
- A Rust implementation of the Starlark language☆795Updated this week
- Research WebAssembly Engine☆417Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,748Updated this week
- Rust grammar for tree-sitter☆403Updated last month
- Use Tree Sitter to parse your own languages in Rust☆646Updated last week
- Node.js bindings for tree-sitter☆722Updated last month
- ☆316Updated 6 months ago
- ☆747Updated last week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,254Updated this week
- PubGrub version solving algorithm implemented in Rust☆562Updated this week
- Python bindings to the Tree-sitter parsing library☆1,055Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,177Updated 3 weeks ago
- The WebAssembly Pre-Initializer☆1,006Updated last month
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,640Updated 2 weeks ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,120Updated last month
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,492Updated this week
- Javascript grammar for tree-sitter☆412Updated last month
- Language Server Protocol implementation written in Rust☆1,166Updated 8 months ago
- A WASI implementation that uses VS Code's extension host as the implementing API☆416Updated last month
- RLBox sandboxing framework☆299Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆639Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,322Updated this week
- Simplified executable deployment☆687Updated this week
- A fancy diagnostics & error reporting crate☆1,941Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆851Updated this week
- LLVM IR in natural Rust data structures☆603Updated 2 months ago