🐚 A list of useful commands in the Unix shell one liner

Command line tool for creating Embassy projects.

An advanced singing voice synthesis system with high fidelity, expressiveness, controllability and flexibility based on DiffSinger: Singing Voice Synthesis via Shallow Diffusion Mechanism

Servo Library for Arduino

Hardware independent layer of the Arduino cores defining the official API

Model Context Protocol Servers

Accelerating new GitHub Actions workflows

なかの人がいない歌唱音声合成ソフト

2D-Laser SLAM for educational use

Linux kernel source tree

lkm_m5

AtCoder Library

KodeLife shader sketches I wrote while commuting

A refreshingly simple data-driven game engine built in Rust

HonoX - Hono based meta framework

パストレーシングベースの物理ベースレンダラ。

Hono x microCMSのブログサンプル

Cross-platform, customizable ML solutions for live and streaming media.

Useful information for Minisforum V3 AMD Tablet users.

A generative world for general-purpose robotics & embodied AI learning.

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…

Lean 4 programming language and theorem prover

Provides the STM32Cube MCU Component "hal_driver" of the STM32F4 series.

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Rust version of THU uCore OS. Linux compatible.

A Tiny Linux-Compatible Kernel

UEFI Reference Specification Protocol Constants and Definitions