#traits #prolog #compiler

chalk-ir

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

89 breaking releases

0.104.0 Aug 6, 2025
0.103.0 Jun 1, 2025
0.102.0 Apr 20, 2025
0.100.0 Mar 9, 2025
0.19.0 Jul 26, 2020

#115 in Programming languages

Download history 5798/week @ 2025-12-28 11858/week @ 2026-01-04 14100/week @ 2026-01-11 13339/week @ 2026-01-18 17940/week @ 2026-01-25 16458/week @ 2026-02-01 19826/week @ 2026-02-08 18573/week @ 2026-02-15 21441/week @ 2026-02-22 42360/week @ 2026-03-01 36667/week @ 2026-03-08 34636/week @ 2026-03-15 43203/week @ 2026-03-22 47890/week @ 2026-03-29 52368/week @ 2026-04-05 53316/week @ 2026-04-12

199,863 downloads per month
Used in 26 crates (5 directly)

MIT/Apache

290KB
6K SLoC

Defines the IR for types and logical predicates.


A rust type library for chalk.

See Github for up-to-date information.

Dependencies

~215–630KB
~14K SLoC