#compiler #traits #prolog

chalk-ir

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

69 breaking releases

0.84.0 Jul 31, 2022
0.82.0 Apr 12, 2022
0.81.0 Mar 27, 2022
0.76.0 Dec 26, 2021
0.19.0 Jul 26, 2020

#187 in Algorithms

Download history 10573/week @ 2022-04-21 11192/week @ 2022-04-28 12325/week @ 2022-05-05 12509/week @ 2022-05-12 12368/week @ 2022-05-19 11678/week @ 2022-05-26 12266/week @ 2022-06-02 11011/week @ 2022-06-09 10890/week @ 2022-06-16 11151/week @ 2022-06-23 12345/week @ 2022-06-30 11727/week @ 2022-07-07 11759/week @ 2022-07-14 13390/week @ 2022-07-21 14264/week @ 2022-07-28 11434/week @ 2022-08-04

52,570 downloads per month
Used in 23 crates (5 directly)

MIT/Apache

280KB
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.4–0.8MB
~18K SLoC