搜索结果：at（217 个）

一款基于 Web 的在线协同编辑 LaTeX 编辑器。

Megaparsec 是一个工业级的 Haskell 单子解析器组合子库，旨在兼顾解析速度、灵活性与高质量的错误提示。 核心功能包括： 1. **灵活的 Monad 栈构建**：基于 `MonadParsec`，支持结合各类 Monad 变换器定制状态与回溯行为； 2. **丰富的错误处理**：支持自定义解析错误、观察错误以及动态错误恢复（`withRecovery`）； 3. **高性能组合子**：提供零拷贝分块匹配（如 `tokens`、`takeWhileP`），大幅提升文本解析效率； 4. 支持字符、二进制解析及词法分析器构建。

消除文本中 AI 生成痕迹与机翻腔调的 AI Agent 技能工具。

精选 Claude Code 优质资源合集，汇集关于 Anthropic 编程伴侣 Agent 的各类精选内容（非官方）。

java-webauthn-server 是专为 Java 服务端打造的 WebAuthn 库，帮助服务端实现无密码的通行密钥（Passkey）认证。 核心功能包括：生成浏览器所需的注册/认证请求参数、严格校验客户端响应、验证认证器证明（Attestation），并提供无状态、线程安全的核心处理逻辑。

开源 Web 工时追踪应用，支持工时单管理、生成报告及开具发票等，适用于个人与企业。

专为手写笔记打造的跨平台开源应用。

〔中文简介暂未生成〕 A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

专为逆向工程师和程序员打造的十六进制编辑器，深夜工作也能保护视力。

IPFS 的 Go 语言实现，包含内容寻址存储与分发守护进程，提供 CLI、HTTP 网关及 RPC API。

Ruby 编写的快速文本处理工具，可将 AsciiDoc 转换为 HTML 5、DocBook 5 等格式。

专为 Ruby on Rails 应用设计的搜索引擎优化（SEO）插件。

Mouse 是 Cats 和 Scala 标准库的轻量级伴生扩展库。它主要解决日常开发中常用类型语法表达不够便捷的问题，为 Boolean、String、Option、Try 及嵌套容器等提供了丰富的扩展方法，让基础数据类型与函数式编程的结合更顺畅。

可在 DOM/WebWorker 中直接调用 Node.js 模块，用 Web 技术开发桌面应用。

免费、直观的在线数据库关系图（ER 图）编辑器与 SQL 生成工具。

将持续内容流转化为搜索与监控的开源引擎，支持混合搜索、告警与插件扩展。

基于 Processing 理念的客户端 JS 库，用于创意 Web 编程与交互设计。

layoutz 是一个轻量、零依赖的 Scala 命令行美化与 TUI 库，用于解决业务逻辑中字符串格式化代码泛滥的问题。它提供声明式 DSL，支持 ANSI 样式、表格、图表、列表等排版原语，并内置 Elm 架构用于开发交互式终端应用，兼容 JVM、JS 和 Native。

基于 ClashMeta 的多平台代理客户端，开源免费、无广告且简单易用。

基于 Nuxt Content、TailwindCSS 和 Iconify 构建的轻量级 Markdown 驱动网站模板。