github / stack-graphs
Rust implementation of stack graphs
☆776Updated this week
Alternatives and similar repositories for stack-graphs:
Users that are interested in stack-graphs are comparing it to the libraries listed below
- Construct graphs from parsed source code☆224Updated this week
- SCIP Code Intelligence Protocol☆274Updated this week
- A Rust implementation of the Starlark language☆730Updated this week
- System for collecting, deriving and working with facts about source code.☆973Updated this week
- Use Tree Sitter to parse your own languages in Rust☆618Updated last month
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,649Updated this week
- ☆716Updated 3 weeks ago
- ☆312Updated last month
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,197Updated last week
- Capability-oriented version of the Rust standard library☆663Updated 2 weeks ago
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,376Updated this week
- PubGrub version solving algorithm implemented in Rust☆436Updated this week
- Research WebAssembly Engine☆383Updated this week
- ☆767Updated this week
- Simplified executable deployment☆572Updated this week
- A bot that integrates with GitHub and your favorite continuous integration service☆184Updated 3 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,115Updated 5 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆618Updated 8 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,151Updated this week
- Incremental computation through constrained memoization.☆447Updated last month
- Sending GitHub PRs to the Git mailing list☆203Updated last week
- Rust grammar for tree-sitter☆361Updated 3 weeks ago
- n2 ("into"), a ninja compatible build system☆366Updated 5 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…☆444Updated 8 months ago
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- Safe Rust bindings to POSIX-ish APIs☆1,511Updated last week
- The WebAssembly Pre-Initializer☆961Updated 3 months ago
- Refinement Types for Rust☆665Updated this week
- A precise specification for "Rust lite / MIR plus"☆821Updated 3 weeks ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,916Updated 2 weeks ago