#prolog #traits #compiler #clause

chalk-ir

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

85 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

#137 in Programming languages

Download history 10677/week @ 2024-12-05 10327/week @ 2024-12-12 7928/week @ 2024-12-19 6554/week @ 2024-12-26 8944/week @ 2025-01-02 10468/week @ 2025-01-09 10239/week @ 2025-01-16 10453/week @ 2025-01-23 14703/week @ 2025-01-30 16400/week @ 2025-02-06 17044/week @ 2025-02-13 17603/week @ 2025-02-20 18522/week @ 2025-02-27 18240/week @ 2025-03-06 16669/week @ 2025-03-13 13898/week @ 2025-03-20

70,429 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.4–0.8MB
~19K SLoC