Skip to content
View Gravifer's full-sized avatar

Organizations

@QueSDP @tsinghua-TEEP @Lean-zh

Block or report Gravifer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

Bag'o'tricks

Tools that just work
28 repositories

Customize enumerate, itemize and description

TeX 58 6 Updated Feb 6, 2025

Draw technical dimension lines in Latex / TikZ

TeX 17 5 Updated Apr 16, 2024

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

Batchfile 178,325 17,065 Updated Jun 11, 2026

Collection of batch scripts utilities for Windows

VBScript 1,420 285 Updated May 18, 2026

A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.

TeX 1,715 455 Updated May 23, 2024

Another Readable Configuration

Arc 41 3 Updated Aug 26, 2020

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…

JavaScript 42,039 6,973 Updated Jun 14, 2026

𒂗𒈨𒅕𒃸: a Sumero-Akkadian cuneiform input method for macOS and Windows.

HTML 43 6 Updated Sep 12, 2025

Attribute macro to require that the compiler prove a function can't ever panic

Rust 1,197 20 Updated Mar 24, 2026

🙃 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…

Shell 187,997 26,366 Updated Jun 12, 2026

Official repository for mtr, a network diagnostic tool

C 3,269 374 Updated May 26, 2026

Applicative option parser

Haskell 959 124 Updated Jun 9, 2026

LLM Frontend in a single html file

HTML 734 70 Updated Dec 27, 2025

Developer-friendly libsodium interface

JavaScript 181 22 Updated Mar 5, 2024

An Open Source Java Decompiler Gui for Procyon

Java 5,105 1,012 Updated Jul 11, 2024

Beautiful git diff viewer, generate commits with AI, get summary of changes, all from the CLI

Rust 2,405 115 Updated Jun 4, 2026

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Go 59,077 3,125 Updated Aug 13, 2024

Chromium running inside your terminal

Rust 19,170 570 Updated Jul 1, 2024

Aircraft design optimization made fast through computational graph transformations (e.g., automatic differentiation). Composable analysis tools for aerodynamics, propulsion, structures, trajectory …

Jupyter Notebook 1,238 200 Updated Apr 14, 2026

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.

Python 798 37 Updated Apr 3, 2026

Render Mermaid graphs inside your terminal

Go 1,408 64 Updated Apr 27, 2026

Revive unavailable songs for Netease Cloud Music (Refactored & Enhanced version)

JavaScript 7,750 758 Updated May 8, 2026

A feature-rich command-line audio/video downloader

Python 170,443 14,369 Updated Jun 13, 2026

âš¡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.

Rust 7,840 219 Updated Jun 13, 2026

🔮 A lightweight comments widget built on GitHub issues

TypeScript 9,671 595 Updated Aug 15, 2024

Self-rendering Markdown + LaTeX documents

JavaScript 2,436 78 Updated Jul 20, 2023

Dex to Java decompiler

Java 49,045 5,546 Updated Jun 2, 2026

Daemon to ban hosts that cause multiple authentication errors

Python 17,976 1,479 Updated Jun 8, 2026