#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

#28 in Programming languages

Download history 7643/week @ 2024-01-31 9864/week @ 2024-02-07 9479/week @ 2024-02-14 9551/week @ 2024-02-21 8803/week @ 2024-02-28 9400/week @ 2024-03-06 9690/week @ 2024-03-13 9969/week @ 2024-03-20 9217/week @ 2024-03-27 9373/week @ 2024-04-03 9428/week @ 2024-04-10 9668/week @ 2024-04-17 8614/week @ 2024-04-24 8272/week @ 2024-05-01 7845/week @ 2024-05-08 6819/week @ 2024-05-15

32,908 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