#prolog #traits #clause #compiler

chalk-ir

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

87 breaking releases

new 0.102.0 Apr 20, 2025
0.100.0 Mar 9, 2025
0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.19.0 Jul 26, 2020

#149 in Programming languages

Download history 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 18882/week @ 2025-04-06 16274/week @ 2025-04-13

73,705 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