SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.

Lean 4 programming language and theorem prover

⌒ JavaScript on the BEAM

The agent that grows with you

Compatibility tables for Hermes

Meta Wearables Device Access Toolkit for iOS

AI-assisted development toolkit for building web applications on Meta Ray-Ban Display glasses.

Optimize prompts, code, and more with AI-powered Reflective Optimization

🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

projectaria_tools is an C++/Python open-source toolkit to interact with Project Aria data.

Lightweight coding agent that runs in your terminal

NVIDIA Isaac GR00T N1.7 - A Foundation Model for Generalist Robots.

Multi-Joint dynamics with Contact. A general purpose physics simulator.

A library of agent skills for CAD, CAE and CAM

Expo-inspired VS Code editor and syntax theme.

AndroidWorld is an environment and benchmark for autonomous agents

8x Faster JavaScript 3D Library.

This repository contains the code to train and evaluate TRIBE v2, a multimodal model for brain response prediction

Making Apple docs AI-readable

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

Beautiful number animations for React Native. Digit-by-digit rolling counter, currency ticker, time display, and odometer with View-based and Skia renderers. Full Intl.NumberFormat support.

A collection of AI agent skills for working with Expo projects and Expo Application Services

IsoCity: City building simulation game.

SDK for handling deferred deep links in React Native with seamless expo-router integration.

A zoomable grid of photos with delightful transitions inspired by the iOS Photos app

A modular and open-ended toolkit for WebGPU, with advanced type inference and the ability to write shaders in TypeScript