-
Tsinghua University
- Beijing
-
18:56
(UTC -12:00) - https://gravifer.cyou
- @UnderlingOfNPU
- https://gravifer.jetbrains.space/
- https://t.me/gravifer_chan
Bag'o'tricks
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.
Collection of batch scripts utilities for Windows
A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.
Extracted system prompts from Anthropic - Claude Fable 5, Opus 4.8, Claude Code, Claude Design. OpenAI - ChatGPT 5.5 Thinking, GPT 5.5 Instant, Codex. Google - Gemini 3.5 Flash, 3.1 Pro, Antigravit…
𒂗𒈨𒅕𒃸: a Sumero-Akkadian cuneiform input method for macOS and Windows.
Attribute macro to require that the compiler prove a function can't ever panic
🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Official repository for mtr, a network diagnostic tool
Developer-friendly libsodium interface
An Open Source Java Decompiler Gui for Procyon
Beautiful git diff viewer, generate commits with AI, get summary of changes, all from the CLI
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
Aircraft design optimization made fast through computational graph transformations (e.g., automatic differentiation). Composable analysis tools for aerodynamics, propulsion, structures, trajectory …
Intercept LLM API traffic and visualize token usage in a real-time terminal dashboard. Track costs, debug prompts, and monitor context window usage across your AI development sessions.
Render Mermaid graphs inside your terminal
Revive unavailable songs for Netease Cloud Music (Refactored & Enhanced version)
A feature-rich command-line audio/video downloader
âš¡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.
🔮 A lightweight comments widget built on GitHub issues
Daemon to ban hosts that cause multiple authentication errors

