#prolog #traits #clause #compiler

chalk-ir

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

86 breaking releases

new 0.101.0 Apr 13, 2025
0.100.0 Mar 9, 2025
0.99.0 Jan 14, 2025
0.98.0 Jul 7, 2024
0.19.0 Jul 26, 2020

#314 in Programming languages

Download history 6825/week @ 2024-12-22 6892/week @ 2024-12-29 10357/week @ 2025-01-05 10122/week @ 2025-01-12 10649/week @ 2025-01-19 10744/week @ 2025-01-26 16641/week @ 2025-02-02 16692/week @ 2025-02-09 17000/week @ 2025-02-16 18541/week @ 2025-02-23 17738/week @ 2025-03-02 19109/week @ 2025-03-09 14808/week @ 2025-03-16 18001/week @ 2025-03-23 18888/week @ 2025-03-30 16650/week @ 2025-04-06

70,158 downloads per month
Used in 30 crates (5 directly)

MIT/Apache

295KB
6K SLoC

Defines the IR for types and logical predicates.


A rust type library for chalk.

See Github for up-to-date information.

Dependencies

~0.3–0.8MB
~18K SLoC