Lib.rs

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

app cairo-language-server

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

60 releases (29 stable)

new 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
2.1.0-rc2 Jul 25, 2023

#22 in #zkp

Download history 27/week @ 2024-06-30 182/week @ 2024-07-07 109/week @ 2024-07-14 15/week @ 2024-07-21 143/week @ 2024-07-28 26/week @ 2024-08-04 156/week @ 2024-08-11 31/week @ 2024-08-18 155/week @ 2024-08-25 27/week @ 2024-09-01 181/week @ 2024-09-08 39/week @ 2024-09-15 37/week @ 2024-09-22 24/week @ 2024-09-29 182/week @ 2024-10-06 56/week @ 2024-10-13

304 downloads per month

Custom license

230KB
4K SLoC

Language server executable for the Cairo programming language

Dependencies

~32–46MB
~735K SLoC