Starred repositories
DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!
A linguistic linter for Traditional Chinese (zh-TW)
Meshtastic-to-Iridium satellite bridge. One gateway, unlimited mesh nodes, $15/month. Open source.
Arduino library for Heltec ESP32 (or ESP32+LoRa) based boards
ROS packages for the ROSflight autopilot
Repository for the textbook: Small Unmanned Aircraft: Theory and Practice, by Randy Beard and Tim McLain
林宅血案互動歷史網站 — 以政府解密報告為基礎的沉浸式敘事體驗 | Interactive history site on the 1980 Lin family massacre, built from declassified government reports
Circuit Pro — a Mac-native PCB design tool. Free for personal and commercial use.
Lean 4 programming language and theorem prover
A community database for the problems on the erdosproblems.com site
This is an official implementation for "SimMIM: A Simple Framework for Masked Image Modeling".
Production-tested AI infrastructure tools for efficient AGI development and community-driven innovation
DeepEP: an efficient expert-parallel communication library
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
FlashMLA: Efficient Multi-head Latent Attention Kernels
Janus-Series: Unified Multimodal Understanding and Generation Models
DeepSeek Coder: Let the Code Write Itself
Integrate the DeepSeek API into popular software
A tiny WatchDog PCB to detect battery voltage of your node.
USB-enabled bootloaders for the nRF52 BLE SoC chips