首页
程序员
产品
招聘用人
云端工作
自由工作、远程工作
项目研发
需求梳理
规划落地您的想法
整包开发
一站式软件开发
云服务
UniSMS
合一短信 聚合API短信平台
UniAPI
全类API业务场景
技术
发布需求
开发者入驻
APP
登录
/
注册
全部
开源项目
源文件源码
产品系统
AI
API
电商
运维
游戏
APP
H5网站
PC网站
微信小程序
更多
Haskell
Haskell是一种标准化的、通用纯函数式编程语言,有非限定性语义和强静态类型。它的命名源自美国逻辑学家Haskell Brooks Curry,他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。在Haskell中,函数是一等公民。作为函数式编程语言,主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以λ演算(Lambda-Calculus)为基础发展而来。具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」(Lambda)作为自己标志的原因。Haskell语言的最主要的执行环境是GHC。
Darcs 分布式版本控制系统
开源项目
Darcs 是新一代轻量级分布式版本控制系统. 完全使用Haskell编写而成。 不同于以往的版本控制系统, Darcs没有中央服务器. 任何一个本地repository都可以既是客户端也是服务...
167
0
Haskell
版本控制系统
penrose 使用数字符号创建漂亮图表
开源项目
penrose 帮你实现只需在纯文本中键入数学符号即可创建漂亮的图表。 penrose 是一个尚处于发展阶段的早期系统。 我们的系统还没有为贡献或公共使用做好准备,但希望很快就能实现。 如果您对...
88
0
Haskell
报表/图表制作
Semantic 程序代码解析、分析和比较工具
开源项目
semantic 是一个 Haskell 库和命令行工具,用来解析、分析和比较程序代码。 使用方法: Parse Usage: semantic parse ([--sexpression]...
119
0
Haskell
代码管理分析/审查/优化
Glean 源码分析引擎
开源项目
Glean 是一个用于收集、推导和查询有关源代码信息的系统。它旨在收集和存储有关代码结构的详细信息,并提供对数据的访问,以提供从在线 IDE 功能到离线代码分析的强大工具和体验。你可以将其用于:...
105
0
Haskell
代码管理分析/审查/优化
HLearn 高性能机器学习库
开源项目
HLearn 是采用 Haskell 语言编写的高性能机器学习库,它对任意维度空间有着最快最近邻的实现算法。 HLearn 同样也是一个研究型项目。该项目的研究目标是为机器学习发掘“最佳可能”的...
88
0
Haskell
机器学习/深度学习
Pandoc 文档格式转换工具
开源项目
Pandoc 可将多种文档格式,包括:markdown, reStructuredText, textile, HTML, DocBook, or LaTeX 转成: HTML formats:...
138
0
Haskell
文档/文本编辑
stack-ide 基于 Stack 的 IDE 后端 JSON 接口
开源项目
stack-ide 是基于 Stack 的 IDE 后端 JSON 接口。
91
0
Haskell
开发工具
Elm 函数式反应编程语言
开源项目
Elm是一种函数式语言,可编译为HTML、CSS和JavaScript。 Elm为函数式反应编程而设计,便于创建高可交互应用。
86
0
Haskell
脚本编程语言
Streamly 具有 C 语言性能的 Idiomatic Haskell
开源项目
Streamly 是一个 Haskell 库,提供构建安全、可扩展、模块化和高性能软件的构建块。使用数据流编程和声明式并发从模块化构建块构建可靠和高性能的系统。 特性: Haskell的类型安全...
129
0
Haskell
开发工具
Ivory Language 用于系统编程的领域专用语言
开源项目
Ivory 语言是一门可嵌入的领域专用语言,用于更安全的系统编程。你可以将 Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。 Ivory 具有以下特性 可嵌入:Ivory 以 ...
100
0
Haskell
编程语言
Hasura GraphQL Engine GraphQL 服务器
开源项目
Hasura GraphQL Engine 是一个超快的 GraphQL 服务器,可以让你基于 Postgres 数据库快速简历 GraphQL API 服务。通过数据库事件实现 webhook...
159
0
Haskell
Keelung 零知识证明编译器
开源项目
它是一个为快捷、隐私和安全应用发展而设计的领域特定语言(DSL)。经过多年对后量子零知识密码的深入研究,我们为开发者创造了Keelung,帮助他们在没有专业密码学技能的背景下也能创建安全、可信的...
86
0
Haskell
Carp 无 GC 的小型编程语言
开源项目
Carp 是一种小型编程语言,专为对游戏,声音合成和可视化等交互性和性能敏感的用例而设计。它是一个静态类型的 lisp,没有GC,用于实时应用程序。 警告!这是一个研究项目,这里的大量信息可能会...
143
0
Haskell
程序开发
Retrie Haskell 代码重构工具
开源项目
Facebook 开源的 Haskell 代码重构工具。该工具能够简化重构过程、提升重构速度及安全性。 特性 能力 可以重写表达式、类型和模式 匹配取决于 alpha 等效性 重写是等式的:在左...
108
0
Haskell
代码管理分析/审查/优化
IHP Haskell Web 框架
开源项目
IHP 是开箱即用 (batteries-included) 的 Web 框架,采用函数式编程语言 Haskell 编写,同时应用了函数式包管理器 Nix。 主要特性 类型安全 IHP 采用的 ...
140
0
Haskell
Web框架
nvim-hs-contrib neovim 和 nvim-HS 相互作用库
开源项目
nvim-hs-contrib 是与 nvim-hs neovim 互动有用的库函数。它包含了一个 neovim 和 nvim-HS 的相互作用并提供一般功能的模块。
135
0
Haskell
常用工具包
当前共17个项目
登录
登录后即可上传、下载作品
搜索
分类
docker
C#
文档原型图
网络爬虫
通信
区块链
ERP
C/C++开发工具
汇编
常用工具包
×
寻找源码
源码描述
联系方式
提交
重点城市程序员兼职推荐
北京程序员兼职
上海程序员兼职
深圳程序员兼职
杭州程序员兼职
广州程序员兼职
成都程序员兼职
南京程序员兼职
武汉程序员兼职
西安程序员兼职
重庆程序员兼职
郑州程序员兼职
长沙程序员兼职
苏州程序员兼职
合肥程序员兼职
厦门程序员兼职
济南 程序员兼职
青岛程序员兼职
天津程序员兼职
大连程序员兼职
福州程序员兼职
石家庄程序员兼职
沈阳程序员兼职
太原程序员兼职
无锡程序员兼职
南昌程序员兼职
哈尔滨程序员兼职
南宁程序员兼职
珠海程序员兼职
宁波程序员兼职
昆明程序员兼职
东莞程序员兼职
贵阳程序员兼职
美国程序员兼职
长春程序员兼职
温州程序员兼职
佛山程序员兼职
常州程序员兼职
呼和浩特程序员兼职
兰州程序员兼职
乌鲁木齐程序员兼职
中山程序员兼职
海口程序员兼职
洛阳程序员兼职
更多
重点岗位程序员兼职推荐
技术创始人兼职
Rust兼职
小程序兼职
cocos2d-x兼职
Unity3D兼职
DBA兼职
运维兼职
测试兼职
移动其他兼职
Go兼职
UE设计师兼职
全栈兼职
Java兼职
CTO兼职
Ruby兼职
C++兼职
PHP兼职
C兼职
C#兼职
Python兼职
架构师兼职
Node.js兼职
Android兼职
iOS兼职
前端兼职
UI设计师兼职
原画师兼职
产品经理兼职
项目经理兼职
区块链兼职
人工智能兼职
硬件开发兼职
更多
您好 👋
我们能提供什么帮助?
向我们发送消息
常见问题、使用帮助、人工咨询等
智能搜索
手机访问
使用微信扫一扫