t
话题找到数量
tlaplus/tlaplus
TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。
parse-community/Parse-SDK-iOS-OSX
适用于 Parse 平台的苹果 SDK(iOS、macOS、watchOS、tvOS)
foss42/apidash
API Dash是一款基于人工智能技术的开源跨平台API客户端,支持桌面端与移动端,采用Flutter构建。它可帮助您轻松创建和自定义HTTP及GraphQL API请求,可视化检查响应数据,并生成API集成代码。是Postman/Insomnia的轻量级替代方案。
wolfSSL/wolfssl
wolfSSL库是一个小型、快速、可移植的TLS/SSL实现,适用于从嵌入式设备到云端的各种场景。wolfSSL支持最高TLS 1.3和DTLS 1.3协议!
Steam-Headless/docker-steam-headless
支持NVIDIA GPU并通过Web UI访问的无头Steam Docker镜像
Ovi/DummyJSON
DummyJSON.com 提供各类填充了JSON数据的REST端点,您可在使用偏好框架与库开发前端时直接调用,无需编写后端代码。