#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

#26 in Programming languages

Download history 7947/week @ 2023-12-23 7416/week @ 2023-12-30 9499/week @ 2024-01-06 9689/week @ 2024-01-13 9151/week @ 2024-01-20 7766/week @ 2024-01-27 9322/week @ 2024-02-03 9426/week @ 2024-02-10 9792/week @ 2024-02-17 8877/week @ 2024-02-24 9000/week @ 2024-03-02 9545/week @ 2024-03-09 9812/week @ 2024-03-16 9647/week @ 2024-03-23 9239/week @ 2024-03-30 7959/week @ 2024-04-06

38,066 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
~21K SLoC