System for collecting, deriving and working with facts about source code.
☆1,309Feb 27, 2026Updated this week
Alternatives and similar repositories for Glean
Users that are interested in Glean are comparing it to the libraries listed below
Sorting:
- Instagram's experimental performance oriented greenfield implementation of Python.☆294Dec 17, 2022Updated 3 years ago
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆162Updated this week
- SCIP Code Intelligence Protocol☆520Updated this week
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆507Jul 4, 2025Updated 8 months ago
- Parsing, analyzing, and comparing source code across many languages☆9,055Apr 1, 2025Updated 11 months ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,610Aug 23, 2025Updated 6 months ago
- A Scalable, User-Friendly Source Control System.☆6,746Updated this week
- A massively parallel, optimal functional runtime in Rust☆11,214Nov 21, 2024Updated last year
- ☆107Jan 7, 2026Updated last month
- Embedded specification language & model checker in Haskell☆179Apr 24, 2025Updated 10 months ago
- A friendly programming language from the future☆6,490Feb 25, 2026Updated last week
- A GHC plugin to derive instances.☆23Feb 12, 2023Updated 3 years ago
- An incremental parsing system for programming tools☆23,979Updated this week
- Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.☆14,285Updated this week
- Koka language compiler and interpreter☆3,817Feb 25, 2026Updated last week
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,096Jan 13, 2026Updated last month
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Jan 5, 2026Updated last month
- Better configuration for less☆2,851Updated this week
- Haskell Protobuf Implementation☆83Jan 28, 2026Updated last month
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Feb 25, 2026Updated last week
- elfshaker stores binary objects efficiently☆2,323Sep 1, 2025Updated 6 months ago
- 🕵️ Haskell STatic ANalyser☆588Jan 16, 2026Updated last month
- A Rust implementation of the Starlark language☆938Updated this week
- A modern proof language☆3,728Jan 22, 2025Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,776Feb 7, 2026Updated 3 weeks ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,335Updated this week
- ☆26Feb 24, 2023Updated 3 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Mu (μ) is a purely functional framework for building micro services.☆335Aug 1, 2024Updated last year
- a structural diff that understands syntax 🟥🟩☆24,241Feb 25, 2026Updated last week
- Standard library for linear types in Haskell.☆352Updated this week
- SCIP indexer for TypeScript and JavaScript☆84Updated this week
- Release with confidence, state-of-the-art property testing for Haskell.☆690Jan 12, 2026Updated last month
- Maintainable configuration files☆4,419Jan 8, 2026Updated last month
- Just One Single History☆1,698Updated this week
- magic-trace collects and displays high-resolution traces of what a process is doing☆5,244Jan 14, 2026Updated last month
- A formatter for Haskell source code☆1,044Feb 17, 2026Updated 2 weeks ago
- GritQL is a query language for searching, linting, and modifying code.☆4,424Dec 1, 2025Updated 3 months ago
- Official Haskell IDE support via the language server protocol (LSP)☆2,889Updated this week