al

一款基于SMALL模型的开源Python3工具，能够识别图像中的版面布局、表格、数学公式以及文本，并将其转换为Markdown格式。作为Mathpix的免费替代方案，它实现了视觉内容到文本表征的无缝转换，并支持80多种语言。

暂无项目描述

轻小说文库安卓版第三方公益应用，始于2014年的初版Material Design风格、非盈利、Play Store上安装包最小的轻小说阅读器。目前网站的API由于被大量滥用，已更新为自行架设的Cloudflare Worker API中继节点，以避免网站关闭API导致服务完全中断。

通过语言服务器协议提供官方Haskell集成开发环境支持

使用IP-Tracer追踪任意IP地址。IP-Tracer专为Linux和Termux开发，您可以通过它获取任何IP地址的信息。

Bonsai 演示

基于NRF52840的新一代变色龙设备使卡片模拟性能更稳定，并赋予读卡、写卡及解密功能

LakeSail的计算框架，其使命是统一批处理、流处理和计算密集型AI工作负载。

一个自动化服务器生命周期的应用程序

wolfSSL库是一个小型、快速、可移植的TLS/SSL实现，适用于从嵌入式设备到云端的各种场景。wolfSSL支持最高TLS 1.3和DTLS 1.3协议！

嵌入式模板库

用于Elixir的多维数组（张量）与数值定义。

一款无需Root即可启动Alpine Linux的Android应用：运行容器（Podman/Docker/LXC）及图形界面桌面应用

开源工具，可从头构建Windows脚本，包含系统精简、隐私保护、性能优化及应用程序安装脚本

In-memory message queue with an Amazon SQS-compatible interface. Runs stand-alone or embedded.

快速、免费且可自定义的图片查看器

开箱即用的 AI 标书编写工具，AI 标书生成工具，投标工具箱、知识库、标书查重、废标项检查，完全开源免费，欢迎使用

Arduino FOC 无刷直流与步进电机库 - 基于 Arduino 的磁场定向控制算法库

@zig-gamedev 库及示例应用程序的开发仓库

在您的应用中集成前沿CoreML音频模型——文本转语音、语音转文本、语音活动检测及说话人分离。基于Swift开发，由顶尖开源技术驱动。

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

面向师生群体的免费实操数字取证实验

Julia交互式数据可视化与绘图

一款适用于班级多媒体屏幕的课表信息显示工具，可直观呈现各类信息