Lib.rs

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

app cairo-language-server

Owned by Marek Kaput, software-mansion, orizi, gilbens-starkware.

64 releases (33 stable)

new 2.9.2 Dec 11, 2024
2.9.1 Nov 29, 2024
2.9.0-dev.0 Oct 20, 2024
2.7.0-rc.3 Jul 16, 2024
2.1.0-rc2 Jul 25, 2023

#575 in Magic Beans

Download history 159/week @ 2024-08-26 113/week @ 2024-09-02 92/week @ 2024-09-09 38/week @ 2024-09-16 38/week @ 2024-09-23 22/week @ 2024-09-30 189/week @ 2024-10-07 104/week @ 2024-10-14 65/week @ 2024-10-21 16/week @ 2024-10-28 57/week @ 2024-11-04 5/week @ 2024-11-11 161/week @ 2024-11-18 264/week @ 2024-11-25 35/week @ 2024-12-02 171/week @ 2024-12-09

632 downloads per month

Custom license

410KB
7.5K SLoC

Language server executable for the Cairo programming language

Dependencies

~34–48MB
~768K SLoC