A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

verl: Volcano Engine Reinforcement Learning for LLMs

A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

The best workflows and configurations I've developed, having heavily used Claude Code since the day of it's release. Workflows are based off applied learnings from our AI-native startup.

A curated list of Plonky3 resources, libraries, tools and more.

An extremely fast Python package and project manager, written in Rust.

Supercharge Your LLM with the Fastest KV Cache Layer

100+ Fine-tuning Tutorial Notebooks on Google Colab, Kaggle and more.

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

A high-performance algorithmic trading platform and event-driven backtester

Interfaces for Relations and SNARKs for these relations

A hardware acceleration library for compute intensive cryptography 🧊

近二十年公务员考试（公考）行政能力测试（行测）真题，包含国考、省考、选调生考试所有行测试卷及其答案

In-depth tutorials on LLMs, RAGs and real-world AI agent applications.

诺亚盘古大模型研发背后的真正的心酸与黑暗的故事。

Apache DataFusion SQL Query Engine

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

DeTerministic Virtual Machine

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Space and Time | Proof of SQL

Space and Time | Proof of SQL

High-Level Rust wrapper for the blitzar-sys crate

ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs

examples for bellman zk-snarks library

zk-SNARK library.