Highlights
- Pro
Stars
Free V2ray Configs, Updating Every 15 minutes. 🚀🌐
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps
Intelligent automation and multi-agent orchestration for Claude Code
A coding agent framework, that works on its own codebase.
Search, check, and autofix your BibTex files!
The free and privacy-friendly screen recorder with no limits 🎥
Automated Testing Tool for Graph-processing Systems.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Scriptable database and system performance benchmark
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
Regexp based tool for mutating generic source code across numerous languages
👾 Fast and simple video download library and CLI tool written in Go
A Computational Graph Generator for AI Compiler Fuzzing
Project Wycheproof tests crypto libraries against known attacks.
PilotScope is a middleware to bridge the gaps of deploying AI4DB (Artificial Intelligence for Databases) algorithms into actual database systems.
🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.
AI-driven database tool and SQL client, The hottest GUI client, supporting MySQL, Oracle, PostgreSQL, DB2, SQL Server, DB2, SQLite, H2, ClickHouse, and more.
An easy-to-learn/use static analysis framework for Java
The SQL Standards Project aims to create consensus in SQL semantics
A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.