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

Browser-based MuJoCo simulation with real-time policy control

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!

Official Implementation for "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!

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

https://dora-bambot.github.io/

📎 Clippy, now with some AI

This repository contains the official implementation of "FastVLM: Efficient Vision Encoding for Vision Language Models" - CVPR 2025