facebookincubator / GleanLinks
System for collecting, deriving and working with facts about source code.
☆1,256Updated this week
Alternatives and similar repositories for Glean
Users that are interested in Glean are comparing it to the libraries listed below
Sorting:
- A code rewrite tool for structural search and replace that supports ~every language.☆2,526Updated 5 months ago
- SCIP Code Intelligence Protocol☆376Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,300Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,236Updated last week
- Fast trigram based code search☆1,048Updated this week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated 2 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,019Updated last week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- Just One Single History☆1,624Updated 3 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,447Updated 2 years ago
- Simplified executable deployment☆730Updated this week
- ☆1,213Updated last week
- Submit stacked diffs to GitHub on the command line☆794Updated last week
- Darklang main repo, including language, backend, and infra☆2,091Updated this week
- Data interchange with algebraic data types.☆628Updated last month
- ☆601Updated last year
- Stacked branch management for Git☆583Updated 2 weeks ago
- elfshaker stores binary objects efficiently☆2,316Updated 2 weeks ago
- Compressed Log Processor (CLP) is a free log management tool capable of compressing logs and searching the compressed logs without decomp…☆992Updated last week
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years ago
- A document language for the browser☆707Updated last year
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆2,003Updated this week
- First-class library documentation for every language (based on tree-sitter), with symbol search & more. Lightweight single binary, run lo…☆879Updated last year
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,037Updated last week
- Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.☆456Updated last month
- Programming language for literate programming law specification☆2,093Updated this week
- Hazel, a live functional programming environment with typed holes☆1,015Updated this week
- Crucible is a library for symbolic simulation of imperative programs☆738Updated last week
- An ergonomic and safe syscall interception framework for Linux.☆621Updated last week
- Learn TLA+ for free! No prior experience necessary!☆220Updated 5 months ago