A Git-compatible VCS that is both simple and powerful

The math library of Lean 4

Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

Lean 4 theorem proving skill and workflow pack for AI coding agents

Lean Theorem Prover MCP

A collection of formalized statements of conjectures in Lean.

Sui smart contract fuzzer

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Minimalist ML framework for Rust

A fully-featured Tetris clone for the IKEA OBEGRÄNSAD 16x16 LED Wall Lamp, powered by an ESP32. This project transforms the minimalist lamp into an interactive gaming display with support for Bluet…

🇨🇳 Chinese sticker pack,More joy / 表情包的博物馆, Github最有毒的仓库, 中国表情包大集合, 聚欢乐~

😜 表情包视觉数据集，使用glm-4v、step-1v的图像解析能力标注。

World's first open-source, agentic video production system. 12 production pipelines, 100+ tools, 700+ agent skill and production-knowledge files. Turn your AI coding assistant into a full video pro…

gTrade v6.1 contracts

Solidity implementation of the Frax Protocol

macOS video editor built for AI

A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

Personal ZMK firmware configuration for various boards (34-keys, Glove80, Planck)

A simple Thermal camera using the MLX90640 Sensor, an ESP32, a ILI9341 TFT, a 18650 battery in a 3D printed case.

A do-it-yourself thermal imager, compatible with the FLIR Lepton 2.5, 3.1R and 3.5 sensor with Arduino firmware

Low-cost FMCW Ground Penetrating Radar (GPR)

沉浸式双语网页翻译扩展 , 支持输入框翻译， 鼠标悬停翻译， PDF, Epub, 字幕文件, TXT 文件翻译 - Immersive Dual Web Page Translation Extension

Let's experience immersive web translation, with bilingual simultaneous display and translation of only the important content. Think of the browser's reading mode, but in immersive translation.

The Modular Platform (includes MAX & Mojo)

Use Claude Code, OpenCode, Cursor CLI, and Codex on mobile and web with CloudCLI (aka Claude Code UI). CloudCLI is a free open source webui/GUI that helps you manage your Claude Code session and pr…

Claude Code Remote - Access Claude Code sessions from any device 📱💻

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

基于深度强化学习的开源自动因子工厂。