基于新一代编程语言 Codong 构建的开源短链接服务
最近更新:
2天前
CodePilot 是 Claude Code 的统一桌面客户端,支持多 Provider、MCP 扩展、自定义技能、跨平台 Bridge,并提供理解项目需求的助手工作区
最近更新:
2天前
我用 Rust 做了一个跨平台护眼提醒工具 BlinkSpark 如果你和我一样,长时间盯着屏幕写代码、看文档、回消息,就会很容易进入一种“专注得忘了眨眼”的状态
最近更新:
2天前
Codong 是面向 AI 使用的编程语言
最近更新:
2天前
HACL*是一个通过形式化证明的密码学库,保证内存安全、功能正确,用F* 编写,包括现代密码学算法:Curve25519, Ed25519, AES-GCM, Chacha20,
最近更新:
2天前
这个基于Python的项目旨在打造一个运行在WhatsApp Web上的自动化聊天机器人
最近更新:
2天前
RabbitMQ 使用说明与全模式 Demo 启动方式 rabbitmq-server 支持两种拓扑模式: TopologyMode::Managed:应用启动时自动声明 exch
最近更新:
2天前
一个轻量级的 Rust 文件服务器,编译为单个可执行文件
最近更新:
2天前
torch-molecule 是分子发现机器学习项目,提供了预测模型、生成模型和表示模型的完整工具集
最近更新:
2天前
Snowtree 是 Databend Labs 推出的以审查为导向的工作流程,旨在确保 AI 编程会话的安全、可审计和可合并
最近更新:
2天前
LongCat-Flash-Thinking 是一款强大高效的大型推理模型 (LRM),拥有 5600 亿个参数,基于创新的混合专家 (MoE) 架构构建
最近更新:
2天前
STEP3-VL-10B是一款轻量级开源基础模型,旨在重新定义紧凑高效与前沿多模态智能之间的平衡
最近更新:
2天前
金融行业具有高专业、强合规、低容错的核心特性,对金融数据高敏感,对幻觉容忍度低
最近更新:
2天前
hostctl 是一个用 Rust 编写的命令行工具,用于管理系统的 hosts 文件,支持多环境配置和快速切换
最近更新:
2天前
Gemini Subtitle Pro 是一款覆盖 视频下载、语音转录、字幕润色、翻译、时间轴对齐、字幕编辑与视频压制的全流程、端到端字幕生成工具,目标是在尽量少人工干预的前提下,
最近更新:
2天前
tuoyun_jieli_ac792 是北京拓云基于杰理 792 系列芯片开发语音对话开发板, 目前实现的功能: 小杰小杰 语音唤醒 语音对话,支持千问,deepseek,豆包等国
最近更新:
2天前
UCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理,专注于芯片设计的单元测试(Unit Test)验证工作
最近更新:
2天前
项目流:现代化开源项目管理的Go+Vue3新选择 —— 一款支持微信登录、媲美禅道的全栈解决方案 在软件开发团队协同工作中,高效的项目管理工具至关重要
最近更新:
2天前
😺 MewUI 是一个跨平台、最小化、以代码为先的 .NET 图形界面库,并支持 NativeAOT + Trim
最近更新:
2天前