#prolog #traits #compiler #define

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

#30 in Programming languages

Download history 9356/week @ 2024-03-24 9341/week @ 2024-03-31 9249/week @ 2024-04-07 9833/week @ 2024-04-14 8998/week @ 2024-04-21 8504/week @ 2024-04-28 7858/week @ 2024-05-05 8028/week @ 2024-05-12 8750/week @ 2024-05-19 8378/week @ 2024-05-26 8536/week @ 2024-06-02 9096/week @ 2024-06-09 9225/week @ 2024-06-16 8829/week @ 2024-06-23 8439/week @ 2024-06-30 8574/week @ 2024-07-07

36,241 downloads per month
Used in 27 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