智能硬件源头厂家 成熟APP、小程序、微信公众号、管理后台（智慧养老、智慧校园、智慧城市、环卫……） 物联类（WiFi、4G、蓝牙智能硬件）APP、小程序、管理后台定制开发 通讯方式 • WIFI连接 • 蓝牙连接 • 自动组网 • 语音微聊 • 4G全网通 移动/联通/电信 参数指标 • 充电方式：Type-C • 供电方式：锂电池800MaH • 频响范围：40Hz-20KHz • 信 噪 比 ：≥75dB • 有效距离：5米 • 加工方式：贴牌加工 • 按键种类：机械

Hasura GraphQL Engine 是一个超快的 GraphQL 服务器，可以让你基于 Postgres 数据库快速简历 GraphQL API 服务。通过数据库事件实现 webhook...

Facebook 开源的 Haskell 代码重构工具。该工具能够简化重构过程、提升重构速度及安全性。 特性 能力 可以重写表达式、类型和模式 匹配取决于 alpha 等效性 重写是等式的：在左...

semantic 是一个 Haskell 库和命令行工具，用来解析、分析和比较程序代码。 使用方法： Parse Usage: semantic parse ([--sexpression]...

nvim-hs-contrib 是与 nvim-hs neovim 互动有用的库函数。它包含了一个 neovim 和 nvim-HS 的相互作用并提供一般功能的模块。

Elm是一种函数式语言，可编译为HTML、CSS和JavaScript。 Elm为函数式反应编程而设计，便于创建高可交互应用。

它是一个为快捷、隐私和安全应用发展而设计的领域特定语言（DSL）。经过多年对后量子零知识密码的深入研究，我们为开发者创造了Keelung，帮助他们在没有专业密码学技能的背景下也能创建安全、可信的...

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

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

Streamly 是一个 Haskell 库，提供构建安全、可扩展、模块化和高性能软件的构建块。使用数据流编程和声明式并发从模块化构建块构建可靠和高性能的系统。 特性： Haskell的类型安全...