Lib.rs

› Cryptography › Magic Beans
#language-server #programming-language #executable #zero-knowledge-proofs #programs #computation #zkp

app cairo-language-server

by orizi, gilbens-starkware, Shahar Papini and 96 contributors

61 releases (30 stable)

2.9.0-dev.0 Oct 20, 2024
2.8.4 Oct 7, 2024
2.7.0-rc.3 Jul 16, 2024
2.6.3 Mar 12, 2024
2.1.0-rc2 Jul 25, 2023

#151 in Magic Beans

Download history 149/week @ 2024-07-31 96/week @ 2024-08-07 93/week @ 2024-08-14 103/week @ 2024-08-21 72/week @ 2024-08-28 168/week @ 2024-09-04 43/week @ 2024-09-11 36/week @ 2024-09-18 37/week @ 2024-09-25 139/week @ 2024-10-02 89/week @ 2024-10-09 117/week @ 2024-10-16 31/week @ 2024-10-23 34/week @ 2024-10-30 35/week @ 2024-11-06 69/week @ 2024-11-13

179 downloads per month

Custom license

300KB
5.5K SLoC

Language server executable for the Cairo programming language

Dependencies

~30–43MB
~670K SLoC