Lists (11)
Starred repositories
Fine-tune Gemma 4 and 3n with audio, images and text on Apple Silicon, using PyTorch and Metal Performance Shaders.
Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.
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
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!
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.
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
Render URDF/MJCF/USD robots instantly in your browser
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)