+
Skip to content
View Wintus's full-sized avatar
📡
on the ground
📡
on the ground
  • Tokyo
  • 20:26 (UTC +09:00)
  • X @wint7

Block or report Wintus

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

Copilot Chat extension for VS Code

TypeScript 8,707 1,276 Updated Oct 13, 2025

Lightweight coding agent that runs in your terminal

Rust 47,193 5,681 Updated Oct 13, 2025

Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot.

JavaScript 9,669 1,108 Updated Oct 13, 2025

Like jq, but for HTML.

Rust 7,409 125 Updated May 29, 2024

💎💨 Next-gen very fast Ruby tooling

Rust 1,392 26 Updated Oct 10, 2025

Python tool for converting files and office documents to Markdown.

Python 81,174 4,500 Updated Sep 8, 2025

Rust bindings for the latest stable release of PROJ

Rust 167 54 Updated Aug 29, 2025
Lean 250 15 Updated Sep 11, 2025

Local first semantic and hybrid BM25 grep / search tool for use by AI and humans!

Rust 831 24 Updated Oct 13, 2025
C 35 Updated Sep 10, 2025

Get in we're writing fizzbuzz

Rust 2 Updated Sep 4, 2025

コード例で学ぶ Lean 言語

Lean 117 13 Updated Oct 12, 2025

A hash table with consistent order and fast iteration; access items by key or sequence index

Rust 2,187 184 Updated Sep 18, 2025

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

Python 14,102 945 Updated Oct 13, 2025
TypeScript 407 16 Updated Oct 13, 2025
Rust 4 Updated Jul 17, 2025

Manage state with style in every framework

TypeScript 4,251 118 Updated Oct 10, 2025

📈 A small, fast chart for time series, lines, areas, ohlc & bars

JavaScript 9,445 422 Updated Sep 10, 2025

An open-source AI agent that brings the power of Grok directly into your terminal.

TypeScript 1,890 226 Updated Oct 1, 2025

MCP Toolbox for Databases is an open source MCP server for databases.

Go 10,910 904 Updated Oct 13, 2025

Blazing 💥 fast terminal-ui for git written in rust 🦀

Rust 20,658 656 Updated Oct 10, 2025

The math library of Lean 4

Lean 2,436 831 Updated Oct 13, 2025

Simple background process manager for Unix systems

Rust 111 3 Updated Oct 12, 2025

Chrome MCP Server is a Chrome extension-based Model Context Protocol (MCP) server that exposes your Chrome browser functionality to AI assistants like Claude, enabling complex browser automation, c…

TypeScript 8,696 748 Updated Oct 13, 2025
C++ 449 12 Updated Oct 12, 2025

A plugin template for Zotero.

TypeScript 689 149 Updated Oct 6, 2025

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 78,972 8,597 Updated Oct 13, 2025

GitHub Action that deploys a pull request preview to GitHub Pages, similar to Vercel and Netlify, and cleans up after itself.

Shell 371 56 Updated Jul 3, 2025
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载