加载中

IHP - Haskell Web 框架

IHP 是开箱即用 (batteries-included) 的 Web 框架,采用函数式编程语言 Haskell 编写,同时应用了函数式包管理器 Nix。 主要特性 类型安全 IHP 采用的 ...

收藏 7
更新于 2022/10/27
IHP

Glean - 源码分析引擎

Glean 是一个用于收集、推导和查询有关源代码信息的系统。它旨在收集和存储有关代码结构的详细信息,并提供对数据的访问,以提供从在线 IDE 功能到离线代码分析的强大工具和体验。你可以将其用于:...

收藏 18
Glean

HStreamDB - EMQ 流数据库

HStreamDB 是一款专为流式数据设计的, 针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理的流数据库。 它使用标准 SQL (及其流式拓展)作为主要接口语言,以实时性作...

收藏 82
更新于 2023/03/07
HStreamDB

Hamler - 基于 Erlang 与 Haskell 的编程语言

Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(strongly-typed)编程语言,独特地结合了编译时的类型检查推导,与对运行时高并发和软实时能力...

收藏 61
更新于 2020/08/07
Hamler

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部