• 1
• 0
• 0

hacl-star

C/C++

HACL*是一个通过形式化证明的密码学库，保证内存安全、功能正确，用F* 编写，包括现代密码学算法：Curve25519, Ed25519, AES-GCM, Chacha20,

• 1
• 1
• 0

whatsapp_bot_ai

Python

这个基于Python的项目旨在打造一个运行在WhatsApp Web上的自动化聊天机器人

• 2
• 3
• 0

cli-anything

Python

一行命令，让任意软件接入 OpenClaw、nanobot、Cursor、Claude Code 等 Agent 框架

• 1
• 0
• 0

rabbfn

Rust

RabbitMQ 使用说明与全模式 Demo 启动方式 rabbitmq-server 支持两种拓扑模式： TopologyMode::Managed：应用启动时自动声明 exch

• 1
• 1
• 0

echofs

Rust

一个轻量级的 Rust 文件服务器，编译为单个可执行文件

• 2
• 2
• 1

everything-claude-code

• 1
• 1
• 0

torch-molecule

Python

torch-molecule 是分子发现机器学习项目，提供了预测模型、生成模型和表示模型的完整工具集

• 1
• 0
• 0

Snowtree

TypeScript

Snowtree 是 Databend Labs 推出的以审查为导向的工作流程，旨在确保 AI 编程会话的安全、可审计和可合并

• 1
• 0
• 0

step3-vl-10b

Python

STEP3-VL-10B是一款轻量级开源基础模型，旨在重新定义紧凑高效与前沿多模态智能之间的平衡

• 1
• 1
• 0

finllm-eval

Python

金融行业具有高专业、强合规、低容错的核心特性，对金融数据高敏感，对幻觉容忍度低

• 1
• 0
• 0

longcat-flash-thinking-2601

Python

LongCat-Flash-Thinking 是一款强大高效的大型推理模型 (LRM)，拥有 5600 亿个参数，基于创新的混合专家 (MoE) 架构构建

• 1
• 1
• 0

Gemini-Subtitle-Pro

JavaScript

Gemini Subtitle Pro 是一款覆盖 视频下载、语音转录、字幕润色、翻译、时间轴对齐、字幕编辑与视频压制的全流程、端到端字幕生成工具，目标是在尽量少人工干预的前提下，

• 1
• 0
• 1

UCAgent

Python

UCAgent 是一个基于大语言模型的自动化硬件验证 AI 代理，专注于芯片设计的单元测试(Unit Test)验证工作

• 1
• 0
• 0

hostctl

Rust

hostctl 是一个用 Rust 编写的命令行工具，用于管理系统的 hosts 文件，支持多环境配置和快速切换

• 1
• 1
• 1

prjflow

项目流：现代化开源项目管理的Go+Vue3新选择 —— 一款支持微信登录、媲美禅道的全栈解决方案 在软件开发团队协同工作中，高效的项目管理工具至关重要

• 2
• 1
• 1

mewui

C#

😺 MewUI 是一个跨平台、最小化、以代码为先的 .NET 图形界面库，并支持 NativeAOT + Trim

• 1
• 0
• 1

tuoyun_jieli_ac792

C/C++

tuoyun_jieli_ac792 是北京拓云基于杰理 792 系列芯片开发语音对话开发板， 目前实现的功能： 小杰小杰 语音唤醒 语音对话，支持千问，deepseek,豆包等国

• 1
• 1
• 1

XS-MLVP-Picker

C/C++

picker 是一个芯片验证辅助工具，具有两个主要功能： 打包 RTL 设计验证模块： picker 可以将 RTL 设计验证模块（.v/.scala/.sv）打包成动态库，并提供

• 1
• 0
• 0

xspcomm

C/C++

xspcomm 为 picker 的公用数据定义与操作接口，包括接口读/写、时钟、协程、SWIG回调函数定义等

• 1
• 0
• 0

RLinf