-
University of Michigan
- https://osdi.dev
- https://orcid.org/0009-0009-8938-447X
Highlights
- Pro
Stars
TeX-PDF synchronisation in Neovim: plugin providing inverse search functionality
A small AppleScript utility to convert Keynote to Powerpoint and PDF
The Next Generation of Anti-Rookit(ARK) tool for Windows.
This script implements transparent editing of gpg encrypted files.
KeyCastr, an open-source keystroke visualizer
HTTP(S) benchmark tools, testing/debugging, & restAPI (RESTful)
Build ARM Linux Kernels natively on macOS hosts
The intrusive "Ad blocker are not allowed on YouTube" message is annoying. This open-source project aims to address this issue by providing a solution to bypass YouTube's ad blocker detection
这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件,并支持任务栏显示,支持更换皮肤。
Aria2 Pro | A perfect Aria2 Docker image | 更好用的 Aria2 Docker 容器镜像
AriaNg, a modern web frontend making aria2 easier to use.
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Monitors drive I/O and forces HDD spindown after a given idle period. Resistant to S.M.A.R.T. reads.
✯ 可直连访问的电视/广播图标库与相关工具项目 ✯ 🔕 永久免费 直连访问 完整开源 不断完善的台标 支持IPv4/IPv6双栈访问 🔕
Interactively take screenshots and record video captures with Sway.
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
rustic - fast, encrypted, and deduplicated backups powered by Rust
A new markup-based typesetting system that is powerful and easy to learn.
Rich is a Python library for rich text and beautiful formatting in the terminal.