facebookincubator / Glean
System for collecting, deriving and working with facts about source code.
☆966Updated this week
Related projects ⓘ
Alternatives and complementary repositories for Glean
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,633Updated this week
- Instagram's experimental performance oriented greenfield implementation of Python.☆293Updated last year
- A code rewrite tool for structural search and replace that supports ~every language.☆2,406Updated 6 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,195Updated last week
- Just One Single History☆1,487Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- elfshaker stores binary objects efficiently☆2,294Updated last month
- A Rust implementation of the Starlark language☆712Updated this week
- Better configuration for less☆2,409Updated this week
- A model checker for implementing distributed systems.☆1,572Updated last month
- Data interchange with algebraic data types.☆598Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,377Updated last year
- Rust implementation of stack graphs☆759Updated 2 months ago
- SCIP Code Intelligence Protocol☆262Updated this week
- A catalog of programming languages☆764Updated last year
- Stacked branch management for Git☆517Updated last week
- A document language for the browser☆702Updated 3 months ago
- Simplified executable deployment☆564Updated last week
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆1,767Updated this week
- ☆1,087Updated last month
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆820Updated this week
- The Flix Programming Language☆2,167Updated this week
- Darklang main repo, including language, backend, and infra☆1,682Updated this week
- APALACHE: symbolic model checker for TLA+ and Quint☆441Updated this week
- Maintainable configuration files☆4,224Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,091Updated last year
- A fast partial replacement for the codemod tool☆1,681Updated 6 months ago
- langcc: A Next-Generation Compiler Compiler☆1,727Updated last year
- A UI for eBPF-based performance debugging☆556Updated 2 years ago
- Fast trigram based code search☆729Updated this week