A neurosymbolic framework for vulnerability detection in code

Verified tensor compilation in Lean

The CompCert formally-verified C compiler

Simulating complex behaviors of active origami structures.

NVIDIA Isaac Sim™ is an open-source application on NVIDIA Omniverse for developing, simulating, and testing AI-driven robots in realistic virtual environments.

Run more RL experiments. Wait less for GPUs.

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

EVA framework shared within PAL Lab, supporting data collection, pi0 inference, aawr and human retargetting

Lightweight Python library for adding real-time multi-object tracking to any detector.

ICCV 2021 When does GAN replicate? An indication on the choice of dataset size

PyTorch implementation of "Brain Decodes Deep Nets"

Code for getting NeurIPS 2025 papers from OpenReview, linking them to Arxiv and Semantic Scholar

These tutorials cover a variety of common robotics tasks and controllers, providing a comprehensive introduction to using Mujoco for robotics simulation. Each tutorial is designed to be self-contai…

Accurate Species Tree EstimatoR: a family of optimation algorithms for species tree inference (including ASTRAL & CASTER)

绝区零 一条龙 | 全自动 | 自动闪避 | 自动每日 | 自动空洞 | 支持手柄

📦BetterGI · 更好的原神 - 自动拾取 | 自动剧情 | 全自动钓鱼(AI) | 全自动七圣召唤 | 自动伐木 | 自动刷本 | 自动采集/挖矿/锄地 | 一条龙 | 全连音游 | 自动烹饪 - UI Automation Testing Tools For Genshin Impact

《明日方舟》小助手，全日常一键长草！| A one-click tool for the daily tasks of Arknights, supporting all clients.

明日方舟的专精列表图片生成程序

[BMVC'23 Oral] Offical repository of "Rethinking Transfer Learning for Medical Image Classification"

This is a demo of Gazebo for all the students from MA4890 Autonomous Driving, Nanyang Technological University (NTU)

Official code for the MICCAI 2025 paper IP-CRR.

Winner of MICCAI 2024 Challenge CXR-LT task3: zero-shot classification of chest X-ray images.

best qr scan from opencv & wechat

An enhanced Java HTTP client offering access to large language model APIs & services in a user-friendly way

Official Implementation of Accelerating Visual-Policy Learning through Parallel Differentiable Simulation

[CVPR 2025 Best Paper Award Candidate] VGGT: Visual Geometry Grounded Transformer