73 releases (32 stable)

2.9.0-dev.0 Oct 20, 2024
2.8.2 Sep 8, 2024
2.7.0-rc.3 Jul 16, 2024
2.6.3 Mar 12, 2024
0.1.0 Jan 3, 2023

#880 in Magic Beans

Download history 5416/week @ 2024-07-13 5106/week @ 2024-07-20 7557/week @ 2024-07-27 6924/week @ 2024-08-03 7314/week @ 2024-08-10 5892/week @ 2024-08-17 5044/week @ 2024-08-24 7449/week @ 2024-08-31 4997/week @ 2024-09-07 7853/week @ 2024-09-14 5988/week @ 2024-09-21 5016/week @ 2024-09-28 11028/week @ 2024-10-05 11433/week @ 2024-10-12 4947/week @ 2024-10-19 5120/week @ 2024-10-26

33,504 downloads per month
Used in 32 crates (9 directly)

Custom license

3MB
76K SLoC

Semantic model representation and queries for Cairo. The semantic model represents the Cairo program after type resolution and some syntax desugaring.

Dependencies

~6–15MB
~164K SLoC