facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,237Updated 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☆2,214Updated this week
- Rust implementation of stack graphs☆833Updated last month
- A code rewrite tool for structural search and replace that supports ~every language.☆2,512Updated 4 months ago
- SCIP Code Intelligence Protocol☆362Updated this week
- Just One Single History☆1,622Updated 3 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,285Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- Data interchange with algebraic data types.☆626Updated 3 weeks ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆659Updated last month
- Fast trigram based code search☆1,028Updated this week
- A Rust implementation of the Starlark language☆831Updated last week
- Stacked branch management for Git☆575Updated last month
- ☆1,124Updated 3 weeks ago
- elfshaker stores binary objects efficiently☆2,311Updated last month
- Better configuration for less☆2,648Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆961Updated this week
- Submit stacked diffs to GitHub on the command line☆780Updated last month
- A document language for the browser☆707Updated last year
- Shrinkray is a modern multi-format test-case reducer☆273Updated 4 months ago
- Programming language for literate programming law specification☆2,084Updated this week
- Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.☆453Updated last month
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆241Updated last week
- Simplified executable deployment☆721Updated last week
- Darklang main repo, including language, backend, and infra☆2,085Updated this week
- PLDB: a Programming Language DataBase☆772Updated last month
- A model checker for implementing distributed systems.☆1,687Updated last week
- High-velocity, monorepo-scale workflow for Git☆3,771Updated last week
- Crucible is a library for symbolic simulation of imperative programs☆735Updated this week
- Hazel, a live functional programming environment with typed holes☆1,009Updated this week
- A fast and lightweight native programming language☆1,327Updated this week