喷喷喷装备制造辅助器

OpenTitan FI formal verification framework

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

🎵 Source code for Cider 1

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

pastebin written in pure rust. A rewrite of ptpb/pb.

A list of Free Software network services and web applications which can be hosted on your own servers

“Zero setup” cross compilation and “cross testing” of Rust crates

一篇全面的 Bluespec SystemVerilog (BSV) 中文教程，介绍了BSV的调度、FIFO数据流、多态等高级特性，展示了BSV相比于传统Verilog开发的优势。

Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.

A collection of modern/faster/saner alternatives to common unix commands.

Telegram Bot For U2

I know nothing, you see nothing.

Fish-like autosuggestions for zsh

🔩 An oh-my-zsh plugin to configure proxy

[not actively maintained] Mount your Microsoft OneDrive storage as FUSE filesystem.

Make cool Telegram bots with Rust easily. Primary development happens on GitLab:

AsCii Movie (asciimation) https://ascii.moe

Run sing-box/mihomo as client in shell

micronet, a model compression and deploy lib. compression: 1、quantization: quantization-aware-training(QAT), High-Bit(>2b)(DoReFa/Quantization and Training of Neural Networks for Efficient Integer-…

Versatile typeface for code, from code.

Sarasa Gothic / 更纱黑体 / 更紗黑體 / 更紗ゴシック / 사라사 고딕

A theme for wordpress.

这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件，并支持任务栏显示，支持更换皮肤。

No!! MeiryoUI is Windows system font setting tool on Windows 8.1/10/11.