搜索结果：ava（71 个）

适用于 Chrome、Firefox 和 Thunderbird 的扩展，支持用 Markdown 编写并在发送前渲染邮件。

阿里云计算平台团队出品、专为监控而生的高性能数据库连接池。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

为优秀的 Chrome 插件编写的中文说明书与推荐指南。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

中国程序员容易发音错误的单词汇总。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。

通过用 React.js、Angular、Vue 等多种框架实现的 Todo 应用，帮你对比与选择 JavaScript 框架。

〔中文简介暂未生成〕 "Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

jwt-scala 是一个为 Scala 打造的无外部依赖的 JSON Web Token（JWT）实现库。它支持 Java 17+、Scala 2.13 及 Scala 3，提供 HMAC、RSA、ECDSA 等多种签名算法，并可选扩展集成 Play、Circe、Json4s、uPickle 等主流 JSON 库，方便开发者在 Scala 生态中快速生成与验证 JWT。

基于 Meteor 构建的开源看板工具。

〔中文简介暂未生成〕 A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

Dispatch Reboot 是一个 Scala 异步 HTTP 客户端库。它基于 Java 的 AsyncHttpClient（AHC）重写并封装，旨在为 Scala 开发者提供更符合语言习惯、易用的 HTTP 请求与交互接口，支持 Java 11+ 及 Scala 2.13、3.3.3+。

Swagger UI 是一套前端资源集合，能根据符合 Swagger 规范的 API 动态生成美观的交互式接口文档。

专为 JavaScript 打造的 API 文档自动生成工具。

开源健身记录 App，支持计划定制、动作记录与肌肉受力展示，可从主流软件导入数据。

演示如何用原生 JavaScript 实现类似 jQuery 的 DOM 查询、样式、Ajax 与事件处理等操作。

注重隐私保护的本地化 PDF 工具箱。

Ian Goodfellow 等人编写的 MIT《深度学习》经典教材 PDF 版本（含完整版及分卷）。

免费易用的日程协调平台，支持日历集成与空闲时间投票，方便团队敲定会议时间。