facebookincubator / Glean
System for collecting, deriving and working with facts about source code.
☆969Updated this week
Related projects ⓘ
Alternatives and complementary repositories for Glean
- A code rewrite tool for structural search and replace that supports ~every language.☆2,408Updated 6 months ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,637Updated this week
- Just One Single History☆1,492Updated last week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- Rust implementation of stack graphs☆763Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,381Updated last year
- elfshaker stores binary objects efficiently☆2,294Updated 2 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,196Updated 2 weeks ago
- Stacked branch management for Git☆521Updated 2 weeks ago
- Programming language for literate programming law specification☆1,990Updated this week
- Better configuration for less☆2,424Updated this week
- Darklang main repo, including language, backend, and infra☆1,684Updated this week
- A model checker for implementing distributed systems.☆1,579Updated last month
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆829Updated this week
- Koka language compiler and interpreter☆3,314Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆803Updated this week
- High-velocity, monorepo-scale workflow for Git☆3,465Updated this week
- The Flix Programming Language☆2,175Updated this week
- A safe, easy systems language☆1,908Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- Data interchange with algebraic data types.☆598Updated 2 months ago
- Maintainable configuration files☆4,230Updated 2 weeks ago
- Crucible is a library for symbolic simulation of imperative programs☆682Updated 3 weeks ago
- PLDB: a Programming Language DataBase☆745Updated this week
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- SCIP Code Intelligence Protocol☆265Updated this week
- Stacked Git☆539Updated this week
- ☆1,091Updated this week
- A library for incremental computations☆876Updated last week
- A modern proof language☆3,581Updated this week