facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,274Updated 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☆850Updated last month
- SCIP Code Intelligence Protocol☆408Updated last week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,260Updated this week
- A code rewrite tool for structural search and replace that supports ~every language.☆2,556Updated 2 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,316Updated this week
- Fast trigram based code search☆1,119Updated this week
- Just One Single History☆1,652Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆830Updated last year
- Submit stacked diffs to GitHub on the command line☆837Updated 3 weeks ago
- Data interchange with algebraic data types.☆750Updated last month
- Stacked branch management for Git☆600Updated 3 weeks ago
- elfshaker stores binary objects efficiently☆2,318Updated last month
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated last month
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,065Updated last week
- A Rust implementation of the Starlark language☆876Updated last week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,458Updated 2 years ago
- Stacked Git☆614Updated last week
- Simplified executable deployment☆765Updated this week
- A model checker for implementing distributed systems.☆1,717Updated 3 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆260Updated this week
- ☆604Updated last year
- PLDB: a Programming Language DataBase☆775Updated 4 months ago
- The Akita CLI helps you make sense of API traffic. Passively watch API traffic with apidump. Model API behavior with apispec. Compare API…☆362Updated last year
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆2,039Updated last week
- Programming language for literate programming law specification☆2,109Updated last week
- Darklang main repo, including language, backend, and infra☆2,109Updated 3 weeks ago
- Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.☆459Updated 3 months ago
- Shrinkray is a modern multi-format test-case reducer☆277Updated last month
- Submit pull requests for individual, amendable, rebaseable commits to GitHub☆485Updated last month
- Learn TLA+ for free! No prior experience necessary!☆227Updated 7 months ago