facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,219Updated this week
Alternatives and similar repositories for Glean
Users that are interested in Glean are comparing it to the libraries listed below
Sorting:
- SCIP Code Intelligence Protocol☆344Updated last week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,764Updated this week
- A code rewrite tool for structural search and replace that supports ~every language.☆2,497Updated 3 months ago
- Just One Single History☆1,595Updated last month
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,276Updated this week
- Rust implementation of stack graphs☆827Updated last week
- elfshaker stores binary objects efficiently☆2,310Updated this week
- Fast trigram based code search☆975Updated 2 weeks ago
- Instagram's experimental performance oriented greenfield implementation of Python.☆292Updated 2 years ago
- Simplified executable deployment☆707Updated this week
- High-velocity, monorepo-scale workflow for Git☆3,725Updated this week
- Better configuration for less☆2,624Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,436Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- Stacked branch management for Git☆565Updated last week
- A Rust implementation of the Starlark language☆807Updated this week
- Submit stacked diffs to GitHub on the command line☆752Updated 2 weeks ago
- A high-level distributed programming framework for Rust☆920Updated this week
- Data interchange with algebraic data types.☆621Updated last month
- A model checker for implementing distributed systems.☆1,664Updated last month
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,723Updated last week
- A Scalable, User-Friendly Source Control System.☆6,429Updated this week
- A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.☆2,411Updated last year
- The world's fastest CRDT. WIP.☆1,686Updated 7 months ago
- ☆598Updated last year
- First-class library documentation for every language (based on tree-sitter), with symbol search & more. Lightweight single binary, run lo…☆878Updated 10 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆942Updated this week
- Shrinkray is a modern multi-format test-case reducer☆271Updated 3 months ago
- Submit pull requests for individual, amendable, rebaseable commits to GitHub☆459Updated last month
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…☆411Updated 3 years ago