#compiler #prolog #traits

chalk-ir

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

85 breaking releases

new 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

#136 in Rust patterns

Download history 9516/week @ 2024-11-18 9149/week @ 2024-11-25 10832/week @ 2024-12-02 10605/week @ 2024-12-09 9671/week @ 2024-12-16 6684/week @ 2024-12-23 6744/week @ 2024-12-30 10649/week @ 2025-01-06 10022/week @ 2025-01-13 10733/week @ 2025-01-20 10947/week @ 2025-01-27 16628/week @ 2025-02-03 16772/week @ 2025-02-10 16941/week @ 2025-02-17 18741/week @ 2025-02-24 17607/week @ 2025-03-03

71,403 downloads per month
Used in 30 crates (5 directly)

MIT/Apache

295KB
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.3–0.8MB
~18K SLoC