facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,269Updated last week
Alternatives and similar repositories for Glean
Users that are interested in Glean are comparing it to the libraries listed below
Sorting:
- SCIP Code Intelligence Protocol☆398Updated this week
- Rust implementation of stack graphs☆851Updated 3 weeks ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,552Updated last month
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,249Updated this week
- Just One Single History☆1,637Updated this week
- Fast trigram based code search☆1,097Updated last week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,309Updated 3 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆829Updated last year
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated last week
- Submit stacked diffs to GitHub on the command line☆822Updated 3 weeks ago
- Instagram's experimental performance oriented greenfield implementation of Python.☆293Updated 2 years ago
- Data interchange with algebraic data types.☆747Updated 3 weeks ago
- A Rust implementation of the Starlark language☆862Updated 2 weeks ago
- Programming language for literate programming law specification☆2,104Updated last week
- Darklang main repo, including language, backend, and infra☆2,099Updated last week
- A model checker for implementing distributed systems.☆1,706Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,452Updated 2 years ago
- Stacked branch management for Git☆596Updated this week
- elfshaker stores binary objects efficiently☆2,318Updated last month
- Simplified executable deployment☆751Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,059Updated this week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆256Updated 2 weeks ago
- I hold the opinion that state machines are underrated☆730Updated last year
- Learn TLA+ for free! No prior experience necessary!☆222Updated 6 months ago
- langcc: A Next-Generation Compiler Compiler☆1,727Updated 2 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,046Updated last week
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 11 months ago
- PLDB: a Programming Language DataBase☆773Updated 3 months ago
- Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.☆458Updated 3 months ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆220Updated 2 years ago