Lib.rs

› Caching
#compiler #traits #prolog

chalk-recursive

Recursive solver for the Chalk project

by Niko Matsakis, Jack Huey, Wilco Kusee, Dabo Ross, super-tuple, Nathan Whitaker, Alexandre Martin, Florian Diebold, Mikhail Babenko, Mark Drobnak, Aaron Turon, Sunjay Varma, Jane Losare-Lusby, Tyler Mandry, Charles Lew, Rust Compiler Team, Chalk developers (80 contributors). Owned by rust-lang-chalk-publish-bot.

72 breaking releases

0.95.0 Nov 19, 2023
0.93.0 Aug 13, 2023
0.92.0 Jun 30, 2023
0.89.0 Mar 19, 2023
0.19.0 Jul 26, 2020

#26 in Caching

Download history 6672/week @ 2023-08-11 7827/week @ 2023-08-18 7900/week @ 2023-08-25 6878/week @ 2023-09-01 7147/week @ 2023-09-08 7582/week @ 2023-09-15 8545/week @ 2023-09-22 8670/week @ 2023-09-29 9014/week @ 2023-10-06 9028/week @ 2023-10-13 9351/week @ 2023-10-20 8536/week @ 2023-10-27 9263/week @ 2023-11-03 9191/week @ 2023-11-10 9903/week @ 2023-11-17 9205/week @ 2023-11-24

38,825 downloads per month
Used in 21 crates (via ra_ap_hir_ty)

MIT/Apache

1MB
17K SLoC

A crate housing the recursive solver for chalk.

See Github for up-to-date information.

Dependencies

~3–12MB
~130K SLoC