tool Installation Guides

The Z3 Theorem Prover

Secure environments for developers and their agents

Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.

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

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

Proxy server to bypass Cloudflare protection

Supercharge Your LLM Application Evaluations 🚀

Ultra fast asyncio event loop.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Easy to use open source fast database for search | Good alternative to Elasticsearch now | Drop-in replacement for E in the ELK stack

Go Version Manager

A General-purpose Task-parallel Programming System using Modern C++

Open-source AI agents for penetration testing

LeetCode题解，151道题完整版。

Implementation of DALL-E 2, OpenAI's updated text-to-image synthesis neural network, in Pytorch

HunyuanVideo: A Systematic Framework For Large Video Generation Model

CLI tool for configuring and monitoring Claude Code

Blind&Invisible Watermark ，图片盲水印，提取水印无须原图！

Turi Create simplifies the development of custom machine learning models.

Vue3 + Pinia 仿抖音，Vue 在移动端的最佳实践 . Imitate TikTok ，Vue Best practices on Mobile

hydra

Build a full-featured administrative interface in ten minutes

StyleGAN2 - Official TensorFlow Implementation

A massively parallel, optimal functional runtime in Rust

Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks.This framework enables Claude to generate and manage its own tools, continuously expanding its capabilities through conversation. A...

A self-hosted, ad-free, privacy-respecting metasearch engine

:zap: The one-liner node.js http-proxy middleware for connect, express, next.js and more

Yet Another System Region and Language Simulator

Expose your FastAPI endpoints as Model Context Protocol (MCP) tools, with Auth!