The Mercury logic programming system.

An AI agent development platform with all-in-one visual tools, simplifying agent creation, debugging, and deployment like never before. Coze your way to AI Agent creation.

个人mit实验记录

The glamourous AI coding agent for your favourite terminal 💘

Web3 content platform, Hertz + Go template + FTS5 full-text search, supports Ethereum and XuperChain, compatible with Hugo ecosystem, uses Wasm extension plugins, requires only 200M memory

WEB VIDEO PLATFORM是一个基于GB28181-2016、部标808、部标1078标准实现的开箱即用的网络视频平台，负责实现核心信令与设备管理后台部分，支持NAT穿透，支持海康、大华、宇视等品牌的IPC、NVR接入。支持国标级联，支持将不带国标功能的摄像机/直播流/直播推流转发到其他国标平台。

Scrcpy window manager (Android window manager on PC)

健康学习到150岁 - 人体系统调优不完全指南

支持中文和拼音的 SQLite fts5 全文搜索扩展 ｜ A SQLite3 fts5 tokenizer which supports Chinese and PinYin

基于 ZeroBot 的 OneBot 插件

OneBot：统一的聊天机器人应用接口标准

技术书籍

Specification and documentation for the Model Context Protocol

基于 GB28181 - 2022 标准的 Golang WVP NVR 平台，支持 RTMP/RTSP 协议，集成 ZLMediaKit 处理流媒体。未来具备实时本地物体检测功能，客户端涵盖网页版，适合注重隐私的私有化部署。

A modern Wine wrapper for macOS built with SwiftUI

A massively parallel, high-level programming language

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Unity 的一个异步UI管理插件

The future of online communications.

The math library of Lean 4

【Hello CTF】题目配套，免费开源的CTF入门教程，针对0基础新手编写，同时兼顾信息差的填补，对各阶段的CTFer都友好的开源教程，致力于CTF和网络安全的开源生态！

Gogs is a painless self-hosted Git service

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version in translation

A modern, open-source, self-hosted knowledge management and note-taking platform designed for privacy-conscious users and organizations.

jt808服务端 单机[2核4G]并发10w+ 100%测试覆盖率 例子丰富(每日保存亿+经纬度 JT1078流媒体播放 jt808转gb28181 兼容任意808服务 真实设备对接案例等)

Godot Engine – Multi-platform 2D and 3D game engine

一套遵循原生态开发模式的 Web UI 组件库，采用自身轻量级模块化规范，易上手，可以更简单快速地构建网页界面。

Ebitengine - A dead simple 2D game engine for Go