facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,287Updated last week
Alternatives and similar repositories for Glean
Users that are interested in Glean are comparing it to the libraries listed below
Sorting:
- Rust implementation of stack graphs☆853Updated 2 months ago
- SCIP Code Intelligence Protocol☆438Updated last week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,276Updated last week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,330Updated this week
- A code rewrite tool for structural search and replace that supports ~every language.☆2,576Updated 3 months ago
- Fast trigram based code search☆1,179Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆830Updated last year
- Just One Single History☆1,667Updated this week
- Darklang main repo, including language, backend, and infra☆2,114Updated 2 weeks ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,466Updated 2 years ago
- Submit stacked diffs to GitHub on the command line☆858Updated 2 weeks ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated 3 weeks ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,088Updated 2 weeks ago
- A Rust implementation of the Starlark language☆886Updated last week
- Stacked branch management for Git☆612Updated 3 weeks ago
- elfshaker stores binary objects efficiently☆2,318Updated 3 months ago
- Data interchange with algebraic data types.☆753Updated last month
- PLDB: a Programming Language DataBase☆777Updated last month
- Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.☆471Updated 5 months ago
- Simplified executable deployment☆773Updated this week
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆2,060Updated last week
- Submit pull requests for individual, amendable, rebaseable commits to GitHub☆496Updated 2 months ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,063Updated last week
- A model checker for implementing distributed systems.☆1,736Updated 4 months ago
- Shrinkray is a modern multi-format test-case reducer☆282Updated 2 months ago
- Better configuration for less☆2,751Updated this week
- Learn TLA+ for free! No prior experience necessary!☆231Updated 8 months ago
- High-velocity, monorepo-scale workflow for Git☆3,927Updated last week
- Starlark Language☆2,802Updated 2 months ago
- Construct graphs from parsed source code☆294Updated 11 months ago