#prolog #compiler #traits

chalk-recursive

Recursive solver for the Chalk project

77 breaking releases

0.100.0 Mar 9, 2025
0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.19.0 Jul 26, 2020

#26 in Programming languages

Download history 10534/week @ 2024-12-05 10214/week @ 2024-12-12 7892/week @ 2024-12-19 6523/week @ 2024-12-26 8873/week @ 2025-01-02 10424/week @ 2025-01-09 10192/week @ 2025-01-16 10411/week @ 2025-01-23 14633/week @ 2025-01-30 16309/week @ 2025-02-06 16925/week @ 2025-02-13 17495/week @ 2025-02-20 18434/week @ 2025-02-27 18111/week @ 2025-03-06 16580/week @ 2025-03-13 13830/week @ 2025-03-20

70,033 downloads per month
Used in 26 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–11MB
~120K SLoC