#compiler #traits #prolog

chalk-ir

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

76 breaking releases

0.91.0 Apr 30, 2023
0.89.0 Mar 19, 2023
0.88.0 Dec 4, 2022
0.87.0 Nov 13, 2022
0.19.0 Jul 26, 2020

#95 in Development tools

Download history 17798/week @ 2023-02-10 17209/week @ 2023-02-17 17594/week @ 2023-02-24 17547/week @ 2023-03-03 18550/week @ 2023-03-10 19220/week @ 2023-03-17 18640/week @ 2023-03-24 18231/week @ 2023-03-31 20032/week @ 2023-04-07 19623/week @ 2023-04-14 18611/week @ 2023-04-21 17434/week @ 2023-04-28 17332/week @ 2023-05-05 18511/week @ 2023-05-12 17033/week @ 2023-05-19 18372/week @ 2023-05-26

74,403 downloads per month
Used in 24 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.7–1.1MB
~26K SLoC