rust-lang/polonius
Some data may be outdated — see provenance labels.
Defines the Rust borrow checker. observed · 2026-09-27
Health v2 · maintenance only
63/100
- Activity 90
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-22. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3095
- days_rel: n/a
- days_push: 65
- n_releases_24m: 0
Adoption not part of the score
1748 stars · 87 forks observed · 2026-09-27
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Polonius is a core library from the Rust project that models and implements the Rust borrow checker analysis. It supports multiple algorithm implementations (Naive, DatafrogOpt, LocationInsensitive) that can be run on borrow-check facts extracted by rustc.
Use cases
- experiment with alternative borrow checking algorithms for Rust
- analyze NLL borrow-check facts generated by rustc
- research dataflow analysis for ownership and borrowing
- compare performance of borrow checker implementations
- understand how the Rust borrow checker works
When to choose
- you are doing compiler research on Rust's borrow checking
- you want to prototype or compare borrow-check analysis algorithms
- you need to run borrow-check analysis on rustc-generated NLL fact dumps
When to avoid
- you want a production borrow checker for compiling Rust code (use rustc)
- you need a stable, documented API for embedding in other tools
- you are not working with Rust compiler internals
Facets
library · maturity experimental
compiler parser developer-tools compilers programming-languages developer-tools rust cli cross-platform borrow-checker rust-compiler static-analysis dataflow nll type-system
1 source
- readme: https://github.com/rust-lang/polonius · fetched 2026-09-27 · e7102175362d
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| rust-lang/polonius | main | 63 |
For agents
markdown · JSON · MCP: product_card(name="rust-lang/polonius")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem