Sol开源项目 – 轻量级跨平台虚拟机

KTransformers是由清华大学KVCache.AI团队与趋境科技联合开发的开源项目，专注于优化大型语言模型（LLM）的推理性能，特别是在资源受限的环境中高效运行LLM。该项目支持单GPU（24GB显存）或多GPU环境，支持DeepSeek-R1和V3的671B满血版模型，预处理速度最高可达286 tokens/s，推理生成速度最高可达14 tokens/s。KTransformers通过高级内核优化和放置/并行策略，提供高达3至28倍的加速效果，并支持Q4_K_M量化版本，最低仅需14GB显存和382GB内存。

Stremio-web 是一个现代媒体中心，通过插件帮助用户发现、观看和管理视频内容。它提供无广告且个性化的视频流媒体体验，支持跨平台使用，具有直观的用户界面和丰富的插件生态系统。基于 P2P 技术，确保顺畅、无缓冲的播放体验，是家庭娱乐和视频流媒体的热门选择。

Super Productivity 是一款开源的高效率生产工具，旨在通过清晰的任务管理、时间跟踪和高效工作安排，帮助用户更专注地完成目标。它支持与多个开发工具如 Jira、GitLab 和 GitHub 等平台的集成，同时支持 Windows、MacOS、Linux、网页端及移动端，全平台可用。所有功能完全免费无限制。

Bunki 是一个高效的 C 协程库，旨在简化协程的管理与调度，特别适用于多线程环境和嵌入式系统。它提供了轻量级的框架，支持高效的上下文切换和灵活的调度机制，使开发者能够轻松创建和管理协程。

Q8 Kernels 是一个专门为高效实现8-bit核心运算而设计的库，支持FP8和INT8的快速计算。该库特别适合需要高性能计算的场景，如深度学习、高性能计算任务和嵌入式系统。通过优化8-bit核心运算的性能，Q8 Kernels 提供了快速的计算能力，帮助用户在各种应用中提升计算效率。

go-attention是一个纯Go语言实现的注意力机制和Transformer模型库，专为高性能和易用性设计。它不依赖任何外部库，非常适合边缘计算和嵌入式系统。该项目提供了高效的点积注意力机制，支持多头注意力和完整的Transformer层，功能强大且灵活。

libcimbar 是一个实验性的高密度二维码格式，专为通过摄像头进行文件传输而设计。它使用彩色图标矩阵编码数据，支持高达850 kilobits/s的传输速度。项目提供了编码器和解码器，编码器生成动画二维码，解码器通过智能手机摄像头读取并解码数据。支持文件压缩、错误校正和跨平台使用，适用于无网络环境下的文件传输。

nnn 是一个功能齐全的终端文件管理器，体积小巧，几乎无需配置，启动速度快，文件操作流畅。它支持多种平台，包括Linux、macOS、BSD、树莓派、Android的Termux、WSL和Cygwin。nnn 提供了智能导航、会话保存、磁盘使用分析、批量重命名、文件选择等功能，并拥有丰富的插件生态系统，支持实时预览、磁盘挂载、文件差异比较等扩展功能。nnn 的二进制文件通常只有100KB左右，适合终端爱好者和硬核Linux用户。

v86 是一个基于 WebAssembly 技术开发的 x86 架构模拟器，能够在浏览器中运行多种操作系统，如 Linux、Windows 95、Windows 98、MS-DOS 等。它通过将 x86 机器代码即时编译成 WebAssembly 模块，实现了在浏览器中的高性能运行。v86 还模拟了多种硬件，如 FPU、IDE 控制器、NE2000 网卡等，提供了接近真实 PC 的体验。项目支持跨平台使用，可以在 Windows、macOS、Linux 和手机上运行，并提供了状态保存功能和强大的调试工具，适合开发者调试遗留系统程序或进行虚拟化实验。

eigenGPT是一个基于C++的高效实现，旨在提供简化的GPT2架构，易于理解和扩展，适合嵌入式系统和资源受限环境。

Hyperfine 是一个强大的命令行基准测试工具，能够对任意shell命令进行多次运行的统计分析，提供关于基准进展和当前估计的持续反馈，支持结果导出，并具备异常值检测功能。

stories-llama2-50k是一个仅50K大小的超小模型，专为资源受限的环境设计。它能够在内存较小的设备上运行，如386计算机，并且适合在DOS系统等低资源环境中使用。该模型特别适用于嵌入式系统或物联网设备的AI应用，能够在这些设备上进行自然语言处理任务。

建立在HuggingFace模型和PyTorch Fully Sharded Data Parallelism基础上的训练套件，旨在优化吞吐量，简化在资源受限环境中训练中型模型的分布式方案设置工作流程，尤其适用于学术集群。

april-asr是一个用C语言开发的语音转文本(STT)库，具备高效的语音识别算法和实时转录功能，支持多种语言，具有可扩展的架构，便于集成到其他项目中，适用于多种应用场景。

一款强大的代理转换工具，可以在同一端口同时提供多种类型的代理服务。它支持同时提供HTTP、SOCKS4和SOCKS5代理，并能够将HTTP代理转换为SOCKS5代理。该工具具有极简的命令行使用方式，适用于多种操作系统，包括便携版Windows，方便用户在不同环境下使用。