Pinned

1. orion orion Public

   Forked from gizatechxyz/orion

   ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

   Cairo

2. ML-Village/ML-Village-Backend ML-Village/ML-Village-Backend Public

   Backend Server for the ML Village Model

   Rust 2

3. cairo-book.github.io cairo-book.github.io Public

   Forked from cairo-book/cairo-book

   The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

   Cairo

4. Polyhedra.jl Polyhedra.jl Public

   Forked from JuliaPolyhedra/Polyhedra.jl

   Polyhedral Computation Interface

   Julia

5. starklings-cairo1 starklings-cairo1 Public

   Forked from shramee/starklings-cairo1

   An interactive tutorial to get you up and running with Cairo v1 and Starknet

   Cairo

6. Network_project Network_project Public

   C