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

Zen Patched Kernel Sources

Minecraft Create mod porting to fabric

End-to-End Encrypted Chat

Mapping-IO is a small and efficient library for working with deobfuscation mapping files.

Compile time numbers in Rust.

Minecraft Raytraced Audio implementation.