Haskell

Haskell是一种标准化的、通用纯函数式编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家Haskell Brooks Curry，他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。在Haskell中，函数是一等公民。作为函数式编程语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算（Lambda-Calculus)为基础发展而来。具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」（Lambda）作为自己标志的原因。Haskell语言的最主要的执行环境是GHC。

AI周报助手产品系统

1.用户输入零散工作记录，AI自动提取关键信息。2.自动分类到关键成果、进行中项目、问题与解决方案、下周计划四个模块。3.支持自定义输出格式，生成结构化周报。4.客户可直接复制使用，无需二次编辑。

180Caffe人工智能

AI智能教学助手平台-教学助手系统产品系统

系统包含六大核心功能模块：教案管理模块：支持教案的创建、编辑、查看和删除操作，教案按数学、物理、化学、语文、英语、历史、地理、生物、政治等九大学科分类管理，支持草稿和发布两种状态，并内置版本记录功能，每次编辑自动保存历史版本。题库管理模块：支持单选题、多选题、判断题、简答题四种题型，可按学科分类浏览

670HTML5教育校园

AI保洁监督程序产品系统Vibe Coding

本系统核心功能包括：基于AI图像识别的保洁质量自动检测（垃圾滞留、地面污渍、设施表面清洁度等）与智能评分；工单全流程闭环管理（自动派发、进度跟踪、处置复核）；人员考勤、行为追踪与绩效考核；巡检督查标准配置与移动巡检；多维度数据统计分析及可视化大屏；实时告警与消息通知；支持物业、家政等多场景的多租户架

840Java人工智能

具身智能小车产品系统

基于大模型驱动的具身智能巡检小车，面向新能源场站等复杂环境，实现自主导航、动态避障与智能巡检。融合SLAM建图与路径规划算法，支持多点巡检与多机器人协同作业。内置视觉与语音多模态感知能力，可完成仪表读数识别、设备状态分析及异常预警。结合大模型推理能力，实现巡检策略优化与自主决策。支持数字孪生与远程交

1540Caffe自动驾驶

图片生成产品系统

AI制图平台集文生图、图生图、草图精绘、风格迁移、智能抠图、超分放大、色彩校正、批量生成、模板套用、在线编辑、图层管理、历史回溯、API接口、SDK嵌入、团队协作、权限管理、商用版权、区块链确权、多端同步、离线缓存于一体，零门槛10秒产出海报、插画、产品图，持续更新模型，降本增效创意无限。

2500Spark人工智能

AI智能音响产品系统

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

2710Haskell智能音箱

Hasura GraphQL Engine GraphQL 服务器开源项目

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

3700HaskellGraphQL项目

Retrie Haskell 代码重构工具开源项目

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

3040Haskell代码管理分析/审查/优化

Semantic 程序代码解析、分析和比较工具开源项目

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

3120Haskell代码管理分析/审查/优化

nvim-hs-contrib neovim 和 nvim-HS 相互作用库开源项目

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

3060Haskell常用工具包

Elm 函数式反应编程语言开源项目

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

3570Haskell脚本编程语言

Keelung 零知识证明编译器开源项目

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

3880Haskell安全相关

IHP Haskell Web 框架开源项目

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

3910HaskellWeb框架

Glean 源码分析引擎开源项目

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

4260Haskell代码管理分析/审查/优化

Streamly 具有 C 语言性能的 Idiomatic Haskell开源项目

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

3600Haskell开发工具

penrose 使用数字符号创建漂亮图表开源项目

penrose 帮你实现只需在纯文本中键入数学符号即可创建漂亮的图表。 penrose 是一个尚处于发展阶段的早期系统。我们的系统还没有为贡献或公共使用做好准备，但希望很快就能实现。如果您对...

2190Haskell报表/图表制作

Carp 无 GC 的小型编程语言开源项目

Carp 是一种小型编程语言，专为对游戏，声音合成和可视化等交互性和性能敏感的用例而设计。它是一个静态类型的 lisp，没有GC，用于实时应用程序。警告！这是一个研究项目，这里的大量信息可能会...

3990Haskell程序开发

Ivory Language 用于系统编程的领域专用语言开源项目

Ivory 语言是一门可嵌入的领域专用语言，用于更安全的系统编程。你可以将 Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。 Ivory 具有以下特性可嵌入：Ivory 以 ...

3210Haskell编程语言

HLearn 高性能机器学习库开源项目

HLearn 是采用 Haskell 语言编写的高性能机器学习库，它对任意维度空间有着最快最近邻的实现算法。 HLearn 同样也是一个研究型项目。该项目的研究目标是为机器学习发掘“最佳可能”的...

3490Haskell机器学习/深度学习

stack-ide 基于 Stack 的 IDE 后端 JSON 接口开源项目

stack-ide 是基于 Stack 的 IDE 后端 JSON 接口。

2240Haskell开发工具

当前共23个项目登录查看更多

登录后即可上传、下载作品

分类

Caffe PRD VR/AR Charles 区块链 C HTML5 服务器测试 Falcon prometheus Nuxtjs

点击空白处退出提示

Haskell

重点城市程序员兼职推荐

重点岗位程序员兼职推荐