搜索结果：script（125 个）

PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。

团队级 AI Agent 记忆中心，将对话、文档与代码沉淀为四类可复用的记忆资产。

注重隐私优先的开源双链笔记、知识管理与协作平台。

用于管理 Markdown 知识库的桌面应用。

gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。

完全本地运行的小型 CLI 搜索引擎，适用于个人文档、知识库与会议记录。

GitHubDaily 是一个专注于挖掘与分享优质开源项目的资源聚合仓库。它主要解决开发者寻找高效工具难、技术视野受限的问题，核心功能是按年份和场景（如 AI 工具、开发利器、学习教程等）系统分类整理并推荐 GitHub 上前沿、实用的开源项目与技术资讯。

基于视觉模型的 OCR 与文档内容提取工具。

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

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

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

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

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

一款开源的 Windows 和 Office 激活脚本工具，支持 HWID、Ohook、在线 KMS 等多种激活方式与故障排查。

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

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

原生多模型数据库，支持文档、图和键值模型，提供类 SQL 查询语言与 JavaScript 扩展。

集成了各类模型、Agent 与效率工具的 AI 工作台桌面应用。

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

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