facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,213Updated this week
Alternatives and similar repositories for Glean
Users that are interested in Glean are comparing it to the libraries listed below
Sorting:
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,757Updated this week
- SCIP Code Intelligence Protocol☆338Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,265Updated last week
- Rust implementation of stack graphs☆819Updated 2 months ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,486Updated 2 months ago
- elfshaker stores binary objects efficiently☆2,309Updated 3 weeks ago
- Fast trigram based code search☆962Updated this week
- A Rust implementation of the Starlark language☆803Updated this week
- Just One Single History☆1,588Updated 3 weeks ago
- Stacked branch management for Git☆556Updated last week
- High-velocity, monorepo-scale workflow for Git☆3,699Updated this week
- Data interchange with algebraic data types.☆617Updated 2 weeks ago
- Stacked Git☆580Updated 3 weeks ago
- Better configuration for less☆2,600Updated this week
- A model checker for implementing distributed systems.☆1,643Updated 3 weeks ago
- A fast and lightweight native programming language☆1,292Updated last week
- Simplified executable deployment☆699Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆823Updated last year
- A high-level distributed programming framework for Rust☆914Updated this week
- First-class library documentation for every language (based on tree-sitter), with symbol search & more. Lightweight single binary, run lo…☆878Updated 9 months ago
- Submit stacked diffs to GitHub on the command line☆744Updated last week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,409Updated last year
- Starlark Language☆2,653Updated last month
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,709Updated last week
- ☆1,104Updated last week
- PLDB: a Programming Language DataBase☆765Updated 2 weeks ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆933Updated this week
- Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.☆438Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- An ergonomic and safe syscall interception framework for Linux.☆599Updated last week