搜索结果：v（290 个）

为 Kodluyoruz 制作的前端 101 视频教程配套代码仓库。

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

zio-http 是基于 ZIO 和 Netty 构建的 Scala HTTP 框架，用于高效开发 Web 客户端与服务端。它将 HTTP 抽象为函数，核心特性包括：类型驱动与声明式端点设计、原生并发与错误处理、中间件、WebSocket、测试套件以及基于 ZIO Schema 的编解码。

专为学术研究优化的 LLM 交互工具，支持论文精读润色与代码分析，兼容多种大模型。

IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。

功能强大、极简设计的跨平台开源笔记应用。

Focalboard 是 Trello、Notion 和 Asana 的开源可自托管替代品。

真正开源的 MongoDB 替代方案。

macOS 菜单栏日历应用，基于 MVVM、RxSwift、AppKit 与 SwiftUI 构建。

纯 JavaScript 打造的客户端及服务端 PDF 文档生成库。

用于阅读 .md 文件的轻量级 Markdown 查阅工具。

Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。

面向 Claude Code、Cursor 等智能体的技能与插件库，含 410+ 技能与 120+ Agent 资源。

Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。

基于 Rust 构建，将 Word、PPT、Excel、PDF 等文档转为干净的 Markdown，提供 Node.js 和 Python 绑定。

轻量、开源的原生 macOS 效率启动器。

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

自带个人 AI 助手的私密日志应用，支持设备间端到端加密同步。

NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度，核心功能包括保留强类型安全、提供清晰明确的 API，以及为事件溯源应用提供基础设施、可复用库和开发工具。

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