Skip to content
View ProfFan's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@SUSTC @KSP-CKAN @CoreRC

Block or report ProfFan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

docker-compose style composer for qemu

Python 15 Updated Apr 25, 2026

Semantic phylogenetic taxonomy of 7,477 robotics papers (T-RO/IJRR/RSS, 1988-2025). 13 Phylum × ~95 Class × ~330 Order tree built from synonym-cluster patterns, not TF-IDF.

HTML 4 Updated Apr 26, 2026

DuckDB Postgres Server

Go 110 9 Updated Apr 24, 2026

Generate Podman Quadlet files from a Podman command, compose file, or existing object

Rust 1,453 41 Updated Apr 25, 2026

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

Rust 26,550 1,136 Updated Apr 27, 2026

Visual Causal Flow

Python 2,748 231 Updated Feb 3, 2026

A Quirky Assortment of CuTe Kernels

Python 949 120 Updated Apr 27, 2026

Finite state machine framework for Rust with readable specifications

Rust 253 26 Updated Jul 21, 2025

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

Python 3,083 416 Updated Mar 31, 2026

Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms

C++ 1,200 207 Updated Apr 21, 2026

DHLS (Dynamic High-Level Synthesis) compiler based on MLIR

VHDL 179 49 Updated Apr 27, 2026

Fast, accurate & comprehensive text measurement & layout

TypeScript 45,476 2,507 Updated Apr 22, 2026

EgoVerse: Egocentric Data for Robot Learning from Around the World

Python 325 19 Updated Apr 27, 2026

Assembly super-optimization via constraint solving

Assembly 321 37 Updated Apr 23, 2026
C++ 16 4 Updated Jul 18, 2022
Swift 5,775 873 Updated Apr 27, 2026

A Rust OS kernel autonomously implemented by Claude Code Opus/Sonnet.

Rust 40 1 Updated Apr 18, 2026

TAPA compiles task-parallel HLS program into high-performance FPGA accelerators. Community-maintained.

C++ 6 1 Updated Apr 23, 2026

Harden-Runner is a CI/CD security agent that works like an EDR for GitHub Actions runners. It monitors network egress, file integrity, and process activity on those runners, detecting threats in re…

TypeScript 1,106 97 Updated Apr 20, 2026

OpenMPTCProuter is an open source solution to aggregate multiple internet connections using Multipath TCP (MPTCP) on OpenWrt

C 2,373 333 Updated Apr 21, 2026

G-code generator for Snapmaker U1 with Full Spectrum layer blending

C++ 565 65 Updated Apr 20, 2026

Linux kernel source tree -- be careful I rebase my branches !

C 1 Updated Apr 24, 2026

DJI RoboMaster Python SDK and Sample Code for RoboMaster EP.

Python 4 6 Updated Feb 16, 2026

Firmware and Tool Binarys

Python 384 157 Updated Sep 5, 2025

A collection of GTSAM factors and optimizers for point cloud SLAM

C++ 374 78 Updated Feb 21, 2026

A toolkit for SQLite databases, with a focus on application development

Swift 8,350 892 Updated Mar 19, 2026

Lightweight coding agent that runs in your terminal

Rust 78,234 11,167 Updated Apr 27, 2026

reservoir sampling for tracing logs

Rust 6 Updated Feb 16, 2026

An RPC framework for Rust with a focus on ease of use.

Rust 3,689 220 Updated Mar 25, 2026

A tool that disconnects Tuya IoT devices from the cloud, allowing them to run completely locally.

Python 1,764 99 Updated Apr 24, 2026
Next