搜索结果:c(346 个)
按分类缩小范围
frontend
综合 54
Frontend 是《卫报》(The Guardian)网站的后端服务系统。它基于 Scala 和 Play 框架构建,核心功能是处理并生成结构化 JSON 数据,提供给前端渲染服务(Dotcom Rendering)展示页面,同时严格保障响应速度与单次 I/O 限制等高性能指标。
changedetection.io
综合 53
开箱即用的网页变更监控与告警工具,支持追踪内容变动、降价及补货。
Open-Generative-AI
综合 53
开源 AI 音视频生成平台,支持自托管与 600+ 模型,无审查过滤,基于 MIT 协议。
OpenCLI
综合 53
将任意网站转化为 CLI 工具,支持 AI Agent 直接复用已登录的浏览器。
laravel (PHP Web 应用框架)
综合 53
语法优雅简洁的 Web 应用框架,帮助开发者省去底层琐事、专注业务构建。
servant
综合 53
Servant 是一个基于 Haskell 的类型级领域特定语言(DSL)。它主要解决 Web 应用中 API 定义与实现脱节的问题,允许开发者在类型层面精确描述 Web API,并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型(Refinement Types)并结合 Z3 等 SMT 求解器,帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行,从而在编译期检查程序性质并发现潜在错误。
open-design (协作式AI设计工作台)
综合 53
本地优先的开源 AI 协同设计工作区,支持与团队及 AI Agent 一起创建动效、原型、网站、应用和多媒体内容。
yudao-ui-admin-vue3
综合 53
基于 Vue3 + Element Plus 的管理后台,集成工作流、多租户及各类企业级业务功能。
supabase-flutter
综合 53
Supabase 的 Flutter 集成库,帮助开发者轻松构建安全且可扩展的应用。
umami (隐私优先的网站分析平台)
综合 53
Umami 是注重隐私的网站与产品分析平台,不依赖 Cookie,支持自托管或云端部署,帮你一站式统计流量、行为与转化数据。
基于 AI 编码 Agent 的模板,支持通过一条命令克隆任意网站。
LaunchNext
综合 53
LaunchNext 是一款用 Swift 开发的免费工具,旨在为移除了启动台的 macOS 26+ 系统带回经典的 Launchpad 体验。
它支持一键读取旧系统数据库,完美还原原有的应用位置、文件夹与布局;高度可定制并支持多语言,让用户无缝重拾熟悉的启动台操作。
wai
综合 53
WAI 是 Haskell Web 框架与服务器之间的通用接口标准。它解决了应用与底层服务器解耦的问题:开发者基于 WAI 编写的 Web 应用,可直接部署在任意兼容后端(如高性能的 Warp);同时它支持中间件机制,便于跨框架共享代码并实现模块化。
munit
综合 53
MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题,核心功能是提供极具可操作性、清晰直观的错误提示信息,并具备高度可扩展的 API,方便开发者编写和定制单元测试。
Girellu
综合 52
旨在改善《神力科莎》(Assetto Corsa)游戏体验的优化工具。
hakyll
综合 52
Hakyll 是一个用 Haskell 编写的静态网站生成器库。它主要用于帮助开发者将 Markdown、模板等源文件编译构建为静态网站,支持通过 Cabal 或 Stack 工具直接安装与集成。
amazonka
综合 52
Amazonka 是专为 Haskell 打造的 AWS SDK,解决了在 Haskell 生态中对接 AWS 服务的需求。其核心功能包括基础配置、身份认证和请求发送逻辑,并借助代码生成器自动同步 Amazon 最新 API,全面支持绝大多数 AWS 公共服务。
listmonk
综合 51
单二进制部署的高性能自建邮件列表与 Newsletter 管理工具,含现代看板。
incubator-toree
综合 51
Apache Toree 是一个专为 Apache Spark 打造的 Jupyter Notebook 内核,主要支持 Scala 语言。它让开发者能通过 Jupyter 交互式连接 Spark 集群,直接编写并运行 Spark 任务、执行代码片段、加载依赖并即时获取计算结果。