#compiler #prolog #traits

chalk-ir

Chalk's internal representation of types, goals, and clauses

83 breaking releases

0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.92.0 Jun 18, 2023
0.19.0 Jul 26, 2020

#125 in Rust patterns

Download history 9084/week @ 2024-07-19 8831/week @ 2024-07-26 8506/week @ 2024-08-02 8698/week @ 2024-08-09 7997/week @ 2024-08-16 8492/week @ 2024-08-23 8180/week @ 2024-08-30 8689/week @ 2024-09-06 10234/week @ 2024-09-13 11038/week @ 2024-09-20 10189/week @ 2024-09-27 11477/week @ 2024-10-04 11501/week @ 2024-10-11 11598/week @ 2024-10-18 11502/week @ 2024-10-25 8928/week @ 2024-11-01

45,666 downloads per month
Used in 28 crates (5 directly)

MIT/Apache

290KB
6K SLoC

A rust type library for chalk.

See Github for up-to-date information.


lib.rs:

Defines the IR for types and logical predicates.

Dependencies

~0.4–1MB
~20K SLoC