#
Starred repositories
To Do List App is built in Kotlin using Material 3, Data Binding, Navigation Component Graphs, Room persistence library, Kotlin coroutines, LiveData, Dagger Hilt, and Notifications following MVVM A…
CYaRon: Yet Another Random Olympic-iNformatics test data generator
K8s-mcp-server is a Model Context Protocol (MCP) server that enables AI assistants like Claude to securely execute Kubernetes commands. It provides a bridge between language models and essential Ku…
Dive is an open-source MCP Host Desktop Application that seamlessly integrates with any LLMs supporting function calling capabilities. ✨
Define, Prompt and Test MCP enabled Agents and Workflows
Model Context Protocol (MCP) Server for dify workflows
A Model Context Protocol (MCP) server implementation connecting Claude Desktop with DeepSeek's language models (R1/V3)
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
extending the microservice paradigms to web development
🍃spring-rs is a application framework written in rust inspired by java's spring-boot
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
HarmonyOsHttp基于 Remote Communication Kit（远场通信服务） 封装而来，简化了请求方式，增加了常见的业务功能，支持同步、异步、支持多种返回数据类型，Json、对象、数组，支持数据缓存，支持dialog加载，支持控制台请求信息格式化输出……
Official JavaScript / TypeScript library for the OpenAI API
通过Anki Fsrs算法速成力扣：自动推荐题目，每日复习（支持导入外部题目：手撕、洛谷、codeforce、牛客、一题多解）。Master LeetCode via Anki Fsrs：auto-recommend problems, review daily.
An easy-to-learn/use static analysis framework for Java
一个基于 NextJS + Cloudflare 技术栈构建的可爱消息推送服务, 支持多种消息推送渠道✨
TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
🔥🔥🔥AI-driven database tool and SQL client, The hottest GUI client, supporting MySQL, Oracle, PostgreSQL, DB2, SQL Server, DB2, SQLite, H2, ClickHouse, and more.
User-friendly Desktop Client App for AI Models/LLMs (GPT, Claude, Gemini, Ollama...)