Diffusion model(SD,Flux,Wan,Qwen Image,Z-Image,...) inference in pure C/C++

A combat racing game for Minecraft: Java Edition

A crate for managing memory bit by bit

External JavaScript for yt-dlp supporting many runtimes

BYR Docs 元信息存档

Single-header C11 port of https://abseil.io SwissTable

A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.

ucloud-Evolved 是一款专门为北京邮电大学云邮教学空间设计的用户脚本，能够优化学习体验、提高效率，让教学平台使用更加便捷。

Parses everything from the .DS_Store files generated by macOS

Experimental tree-sitter parser for the Lean (4) Theorem Prover

Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine

Procedural generation with diffusion models (SIGGRAPH '26)

VS Code rebuilt on Tauri. Same architecture, 96% smaller. Early release.

Force MC to use wayland on supported systems

🦀 Find the minimum supported Rust version (MSRV) for your project

A large scale terrain rendering library written in Rust

Not Quite PTP

AirPlay and AirPlay 2 audio player

Computer Science II coursework.

The Lean version manager

Lean 4 programming language and theorem prover

通过修改Hosts解决国内Github经常抽风访问不到,每日更新

Automatically generates Rust FFI bindings to C (and some C++) libraries.

Run a CoreML MLModel on the Asahi Neural Engine

Reverse engineered Linux driver for the Apple Neural Engine (ANE).

A bootloader and experimentation playground for Apple Silicon