Stars
NVIDIA® TensorRT™ is an SDK for high-performance deep learning inference on NVIDIA GPUs. This repository contains the open source components of TensorRT.
NVIDIA Isaac GR00T N1.6 - A Foundation Model for Generalist Robots.
Orocos Kinematics and Dynamics C++ library
The Robot Operating System, is a meta operating system for robots.
🎯 告别信息过载，AI 助你看懂新闻资讯热点，简单的舆情监控分析 - 多平台热点聚合+基于 MCP 的AI分析工具。监控35个平台（抖音、知乎、B站、华尔街见闻、财联社等），智能筛选+自动推送+AI对话分析（用自然语言深度挖掘新闻：趋势追踪、情感分析、相似检索等13种工具）。支持企业微信/个人微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 推送，1分钟手机通知，无需…
A feature-rich command-line audio/video downloader
Command-line program to download videos from YouTube.com and other video sites
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
Language models for Coq based on data collected from the coq lsp.
Project template for running reactor-uc on Zephyr RTOS
DROID Policy Learning and Evaluation
Distributed Robot Interaction Dataset.
Template repo for LF applications targeting the Raspberry Pi Pico
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
OpenTSLM: Time-Series Language Models for Reasoning over Multivariate Medical Text- and Time-Series Data
An abstraction layer across RTOS, baremetal, and user-space Linux environments