Is Polonius dead? 3 commits in 7 months

This page summarizes the projects mentioned and recommended in the original post on /r/rust
Rfc Rust rfc-process

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • polonius

    Defines the Rust borrow checker.

  • polonius.next

    experimental datalog rules for a next gen polonius

    • As far as polonius itself, there was also some work late last year on a different repository, experimenting with a different solver: https://github.com/nikomatsakis/polonius.next

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • rfcs

    RFCs for changes to Rust

    • As a starting point, there's an RFC to create a team responsible for that https://github.com/rust-lang/rfcs/pull/3254

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts