#prolog #traits #compiler #define

chalk-ir

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

82 breaking releases

0.97.0 Apr 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

#120 in Programming languages

Download history 9267/week @ 2024-01-19 8310/week @ 2024-01-26 8633/week @ 2024-02-02 9511/week @ 2024-02-09 9676/week @ 2024-02-16 8932/week @ 2024-02-23 9034/week @ 2024-03-01 9514/week @ 2024-03-08 9672/week @ 2024-03-15 9897/week @ 2024-03-22 9278/week @ 2024-03-29 9235/week @ 2024-04-05 9648/week @ 2024-04-12 9426/week @ 2024-04-19 8373/week @ 2024-04-26 8006/week @ 2024-05-03

36,895 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.5–1MB
~22K SLoC