Record and analyze your snoring

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

An open-source vibe coding platform that helps you build your own vibe-coding platform, built entirely on Cloudflare stack

⭐⭐⭐ Star history graph of GitHub users

Lean 4 programming language and theorem prover

Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md

Server to host Lean games

Scientific computing in Lean 4

Lean web editor

Lean theorem proving interface which feels like pen-and-paper proofs.

An Open Phone Agent Model & Framework. Unlocking the AI Phone for Everyone

The Open edX LMS & Studio, powering education sites around the world!

Markdown for the component era

GeoPort: Your Location, Anywhere! The iOS location simulator

MuJoco Simulation on Web Assembly with Neural netwroks

A platform for building proxies to bypass network restrictions.

《主权个人》中文版，精校 未删减，可直接用A4纸打印

Connect to lerobot over the internet!

A browser extension that helps users publish content to multiple social media platforms with one click.

Lightweight coding agent that runs in your terminal

Open-Source Frontier Voice AI

sharing current agents in use

Everyone need a puzi

Render URDF/MJCF/USD robots instantly in your browser

⚓ Solana Program Framework

Physics simulate lerobot in javascript!

[ICRA 2025] "Catch It! Learning to Catch in Flight with Mobile Dexterous Hands"

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Julien Blanchon blog

Code and model to control the AH!