starkware-libs/cairo

Cairo — первая в мире Тьюринг‑полная язык‑платформа, позволяющая писать программы, доказуемо корректные для любой вычислительной задачи. Проект **starkware-libs