搜索结果:cti(53 个)
按分类缩小范围
jsoncrack.com
综合 64
将 JSON、YAML、XML、CSV 等数据格式转换为交互式图表的开源可视化工具。
leptos
综合 63
使用 Rust 构建高性能 Web 应用的框架。
bloop
综合 63
Bloop 是专为 Scala 设计的构建服务器与命令行工具,旨在解决 Scala 编译慢、开发流程繁琐的问题。它能与各类编辑器及构建工具集成,提供开箱即用的支持,帮助开发者在任何工作流中快速完成 Scala 代码的编译、测试与运行。
fluentui
综合 63
用于构建 Web 应用的实用工具与 React / Web Components 组件库。
知名设计系统解析的 DESIGN.md 文件集,助编程 Agent 生成匹配风格的 UI。
examples
综合 61
基于 Serverless Framework 的无服务器架构示例与模板集,覆盖 AWS Lambda、Azure 等。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言,属于 ML 语言家族。它主要解决高性能并行计算的编写难题,核心功能是将函数式代码编译为可在 CPU 或 GPU(支持 CUDA、OpenCL)上运行的高效并行程序,适用于实用级高性能计算场景。
caliban
综合 59
Caliban 是一个面向 Scala 的纯函数式 GraphQL 库,用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码,利用 Scala 标准类型在编译期完成 Schema 定义与校验,并结合运行时解析器,提供兼顾纯函数式和高性能的 GraphQL 解决方案。
ihp
综合 59
IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架,旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证,并通过 Nix 统一部署环境,让开发者更稳、更快地构建 Web 应用。
egison
综合 59
〔中文简介暂未生成〕 The Egison Programming Language
compiler
综合 57
该项目是函数式编程语言 Elm 的官方编译器,使用 Haskell 编写。它致力于帮助开发者构建可靠的 Web 应用,核心功能是将 Elm 代码编译为高效的前端代码,并提供安装支持,为编写无运行时异常的 Web 应用提供底层编译保障。
DVWA
综合 57
经典的极度脆弱 Web 靶场应用,专用于安全培训与漏洞演练。
gwern.net
综合 57
gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建,解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式,并提供旁注、首字下沉等极致排版特性。
Flat-UI
综合 57
基于 Bootstrap 的扁平化设计前端框架,提供响应式布局与实用组件,大幅简化网站开发流程。
awesome-stock-resources
综合 55
精选免费摄影图库、视频及插画素材网站的资源链接合集。
macwire
综合 54
MacWire 是一个用于 Scala 的轻量级依赖注入库。它通过编译期宏自动生成对象实例化代码,解决传统手动组装依赖时样板代码繁琐的问题。核心提供 `wire`、`autowire` 等宏,具备类型安全、零运行时开销、无需注解等特性。
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库,可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级,深度融合 Scala 子类型特性与 ZIO 生态,提供常用代数抽象与实用数据类型(如 NonEmptyList、Validation 等),帮助开发者更简单、务实地组合类型与处理数据。
frontend
综合 54
Frontend 是《卫报》(The Guardian)网站的后端服务系统。它基于 Scala 和 Play 框架构建,核心功能是处理并生成结构化 JSON 数据,提供给前端渲染服务(Dotcom Rendering)展示页面,同时严格保障响应速度与单次 I/O 限制等高性能指标。
changedetection.io
综合 53
开箱即用的网页变更监控与告警工具,支持追踪内容变动、降价及补货。
munit
综合 53
MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题,核心功能是提供极具可操作性、清晰直观的错误提示信息,并具备高度可扩展的 API,方便开发者编写和定制单元测试。