πŸ“ˆ GH Trending Explorer 🎲 Surprise me

Search: cairo Β· clear

brndnmtthws / conky

Light-weight system monitor for X, Wayland, and other things, too

β˜… 8.5k C++ 4d ago
starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

β˜… 1.9k Rust today
starkware-libs / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

β˜… 587 Rust 20d ago
AbdelStark / madara

Modular stack to build Starknet based scaling engines written in Rust

β˜… 523 Rust 2d ago
yibie / excali-mode

Excalidraw inside Emacs 32: edit .excalidraw files, drawn through the new canvas API

β˜… 82 Emacs Lisp 8d ago
CairoIan / room-mcp-kit

A self-hosted pixel room and MCP toolkit for shared human-AI interactions.