#compiler #prolog #traits

chalk-ir

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

84 breaking releases

0.99.0 Jan 14, 2025
0.98.0 Jul 7, 2024
0.97.0 Apr 7, 2024
0.96.0 Jan 7, 2024
0.19.0 Jul 26, 2020

#133 in Rust patterns

Download history 11777/week @ 2024-10-19 11236/week @ 2024-10-26 10423/week @ 2024-11-02 9221/week @ 2024-11-09 9519/week @ 2024-11-16 9049/week @ 2024-11-23 10545/week @ 2024-11-30 10869/week @ 2024-12-07 9578/week @ 2024-12-14 6977/week @ 2024-12-21 6912/week @ 2024-12-28 10152/week @ 2025-01-04 10137/week @ 2025-01-11 10509/week @ 2025-01-18 10512/week @ 2025-01-25 13898/week @ 2025-02-01

47,045 downloads per month
Used in 29 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.4–0.8MB
~19K SLoC