github / stack-graphs
Rust implementation of stack graphs
☆797Updated 2 weeks ago
Alternatives and similar repositories for stack-graphs:
Users that are interested in stack-graphs are comparing it to the libraries listed below
- SCIP Code Intelligence Protocol☆303Updated this week
- Construct graphs from parsed source code☆246Updated 3 months ago
- A Rust implementation of the Starlark language☆771Updated 2 weeks ago
- System for collecting, deriving and working with facts about source code.☆1,159Updated this week
- ☆316Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rust☆632Updated last month
- ☆350Updated last month
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,720Updated this week
- ☆737Updated 2 weeks ago
- CLI and Rust libraries for low-level manipulation of WebAssembly modules☆1,442Updated this week
- Research WebAssembly Engine☆410Updated this week
- Rust grammar for tree-sitter☆389Updated 2 weeks ago
- Logic programming in Rust☆457Updated 3 weeks ago
- A lightweight Datalog engine in Rust☆812Updated 3 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,243Updated this week
- Layout is a rust library and a tool that renders Graphviz dot files.☆682Updated 4 months ago
- Library to analyze and collect metrics on source code☆309Updated 4 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,272Updated this week
- Define an index format for Language Servers☆176Updated last month
- Simplified executable deployment☆678Updated this week
- PubGrub version solving algorithm implemented in Rust☆535Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆628Updated 11 months ago
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆178Updated 2 weeks ago
- Refinement Types for Rust☆705Updated this week
- Shuttle is a library for testing concurrent Rust code☆747Updated this week
- The WebAssembly Pre-Initializer☆991Updated 3 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,230Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,138Updated last week
- Fast trigram based code search☆870Updated last week
- A high-level distributed programming framework for Rust☆867Updated this week