Cairo is the first Turing-complete language for creating provable programs for general computation.
高颜值的第三方网易云播放器;通过自写插件可支持其他线上音乐服务;支持流媒体音乐,如navidrome、jellyfin、emby;支持本地音乐播放、离线歌单、逐字歌词、桌面歌词、Touch Bar歌词、Mac状态栏歌词显示、Linux-gnome与Linux-kde桌面状态栏歌词显示;支持降调降速,支持自定义主题等。支持 Windows / macOS / Linux :electron:
JavaScript library for Starknet
BoltzGen: Toward Universal Binder Design
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
STARK-based virtual machine
A Starknet full node written in Rust
Awesome Jev: a source-backed field guide to TypeSafe's System One model, with SDKs, live demos, agent tools, and independent evaluations.
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.
100 Days of IaC in Azure
Modular stack to build Starknet based scaling engines written in Rust
StarkWare's next gen prover
A fully procedural first-person jungle in Three.js. Zero external art assets - every texture, mesh and sound generated in code.
Photorealistic procedural city street at golden hour. Three.js + React Three Fiber, zero external assets.
A complete first-person shooter in a single 290 KB HTML file. No build step, no assets, no dependencies beyond three.js from a CDN.
PS5 PC Emulator
Project Stark 2026: The Ultimate Open Source Hub for Developers and Creators
A Studio Ghibli / Makoto Shinkai style cycling game in Three.js. Toon-shaded Japanese countryside with four times of day - every mesh, texture and sound generated in code.
A custom application built to restore UGC functionalities for the inFAMOUS franchise. Supporting over 200,000 missions, with the ultimate goal of making the Platinum trophy earnable again.
Ultimate GTA 6 Modded Engine & Gameplay Enhancer Suite 2026
A painted seaside bay in late summer, built in Three.js. Walk the pier and the beach, then take the motorboat out to the lighthouse island.
A first-person walk up a dry wash between red rock buttes in Sedona at golden hour. Every mesh, texture and sound generated procedurally in code — zero external assets.
An Auto HyperOS Port Tool For Xiaomi Devices
快速简单创建属于你自己风格的Windows文件夹!/ A creative Folder Theme Studio For Windows user to make their own style Folder
Probability-aware evaluation for typed decision models: calibration, selective risk, latency, and reproducible benchmarks.
How Claude Code helps me recover after surgery
一键把 6 家大厂免费大模型接入 DeepSeek Harness:安装脚本 + 配置模板,全部免费、不绑信用卡,不含任何 API Key