github / stack-graphs
Rust implementation of stack graphs
☆795Updated last 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☆242Updated 3 months ago
- SCIP Code Intelligence Protocol☆300Updated this week
- ☆315Updated 4 months ago
- PubGrub version solving algorithm implemented in Rust☆528Updated last week
- A Rust implementation of the Starlark language☆768Updated last week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,241Updated last week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,718Updated this week
- Use Tree Sitter to parse your own languages in Rust☆630Updated 2 weeks ago
- ☆735Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,235Updated 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…☆449Updated 11 months ago
- System for collecting, deriving and working with facts about source code.☆1,156Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,110Updated last year
- Rust grammar for tree-sitter☆386Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,135Updated this week
- Simplified executable deployment☆677Updated 2 weeks ago
- A WASI implementation that uses VS Code's extension host as the implementing API☆408Updated last week
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,432Updated this week
- Capability-oriented version of the Rust standard library☆676Updated last month
- Data interchange with algebraic data types.☆612Updated 2 weeks ago
- Run experiments across parts of the Rust ecosystem!☆676Updated last week
- Library to analyze and collect metrics on source code☆307Updated 4 months ago
- Fast trigram based code search☆858Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆627Updated 11 months ago
- Solving i18n for client-side and resource-constrained environments.☆1,429Updated this week
- The WebAssembly Pre-Initializer☆988Updated last week
- Safe Rust bindings to POSIX-ish APIs☆1,616Updated this week
- Research WebAssembly Engine☆407Updated this week
- A fancy diagnostics & error reporting crate☆1,881Updated 4 months ago
- General-purpose abstractions for incremental computing, in Rust☆355Updated 2 years ago