Haskell ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(人工智能)
(数学物理)
(未显示1个用户的5个中间版本)
第12行: 第12行:
  
 
==项目集==
 
==项目集==
*[https://github.com/krispo/awesome-haskell Awesome Haskell] [[image:awesome.png]]
+
*[https://github.com/krispo/awesome-haskell Awesome Haskell] [[image:awesome.png]] [https://github.com/uhub/awesome-haskell awesome-haskell]
 
*[https://github.com/Gabriel439/post-rfc/blob/main/sotu.md State of the Haskell ecosystem]
 
*[https://github.com/Gabriel439/post-rfc/blob/main/sotu.md State of the Haskell ecosystem]
 
*[https://github.com/erkmos/haskell-companies A List of companies that use Haskell]
 
*[https://github.com/erkmos/haskell-companies A List of companies that use Haskell]
第60行: 第60行:
 
*[[Elm]] [https://github.com/elm/compiler Elm Compiler]
 
*[[Elm]] [https://github.com/elm/compiler Elm Compiler]
 
*[https://github.com/unisonweb Unison] A friendly programming language from the future
 
*[https://github.com/unisonweb Unison] A friendly programming language from the future
*[https://github.com/purescript PureScript] A small strongly, statically typed language which compiles to [[JavaScript]]
+
*[[PureScript]] A small strongly, statically typed language which compiles to [[JavaScript]]
 
*[https://github.com/ghcjs/ghcjs GHCJS] is a Haskell to JavaScript compiler that uses the GHC API.
 
*[https://github.com/ghcjs/ghcjs GHCJS] is a Haskell to JavaScript compiler that uses the GHC API.
 
*[https://github.com/valderman/haste-compiler Haste] A GHC-based Haskell to JavaScript compiler  
 
*[https://github.com/valderman/haste-compiler Haste] A GHC-based Haskell to JavaScript compiler  
第84行: 第84行:
 
*[https://github.com/jhartikainen/hs-language-php hs-language-php] 用于解析和评估 [[PHP]] 代码的实验性 Haskell 模块
 
*[https://github.com/jhartikainen/hs-language-php hs-language-php] 用于解析和评估 [[PHP]] 代码的实验性 Haskell 模块
 
*[https://github.com/bartavelle/hruby hruby] Embed [[Ruby]] in your Haskell program.
 
*[https://github.com/bartavelle/hruby hruby] Embed [[Ruby]] in your Haskell program.
 +
*[https://github.com/bjpop/berp/ Berp] an implementation of [[Python]] 3
 
*[http://www.cs.nott.ac.uk/~psznhn/G53CMP/ COMP3012/G53CMP Compilers 2018/19] 不错的编译原理课程
 
*[http://www.cs.nott.ac.uk/~psznhn/G53CMP/ COMP3012/G53CMP Compilers 2018/19] 不错的编译原理课程
 
*[https://github.com/facebookincubator/hsthrift/ The Haskell Thrift Compiler] [[Apache Thrift]]
 
*[https://github.com/facebookincubator/hsthrift/ The Haskell Thrift Compiler] [[Apache Thrift]]
第271行: 第272行:
 
*[https://github.com/DSLsofMath/DSLsofMath DSLsofMath] [[DSL|Domain-Specific Languages]] of [[Mathematics]]
 
*[https://github.com/DSLsofMath/DSLsofMath DSLsofMath] [[DSL|Domain-Specific Languages]] of [[Mathematics]]
 
*[https://dslsofmath.github.io/BScProj2018/index.html Learn You a Physics for Great Good!]
 
*[https://dslsofmath.github.io/BScProj2018/index.html Learn You a Physics for Great Good!]
 +
*[https://github.com/nick8325/jukebox/ jukebox] A theorem prover
  
 
==并发并行==
 
==并发并行==
第321行: 第323行:
  
 
==安全密码学==
 
==安全密码学==
 +
[[文件:cryptol-logo.png|right|Cryptol]]
 
*[https://github.com/haskell/hackage-security Hackage Security]
 
*[https://github.com/haskell/hackage-security Hackage Security]
 
*[https://hackage.haskell.org/packages/#cat:Security Security] [https://hackage.haskell.org/packages/#cat:ACME ACME] (Automatic Certificate Management Environment, RFC 8555) packages
 
*[https://hackage.haskell.org/packages/#cat:Security Security] [https://hackage.haskell.org/packages/#cat:ACME ACME] (Automatic Certificate Management Environment, RFC 8555) packages
第333行: 第336行:
 
*[https://gitlab.com/morley-framework Morley] Standards and tools for the [https://tezos.com/ Tezos platform]
 
*[https://gitlab.com/morley-framework Morley] Standards and tools for the [https://tezos.com/ Tezos platform]
 
*[https://github.com/aviaviavi/legion Legion] a simple [[blockchain]] server implementation written in Haskell
 
*[https://github.com/aviaviavi/legion Legion] a simple [[blockchain]] server implementation written in Haskell
 +
*[https://github.com/kadena-io/pact/ Pact] Smart Contract Language
  
 
==FRP流计算==
 
==FRP流计算==

2022年6月12日 (日) 03:51的版本

Haskell ecosystem

Haskell-logo.png

目录

基金会

会议

ACM

项目集

用户服务商

IOHK
Well-Typed

语言编译器

Write-you-a-haskell.png
GRIN编译器
PureScript-Logo.png
Agda
Carp语言
Curry语言
Plutus language

GHC

Hoogle.png

GHC, GHCi, Runtime, Virtual Machine, Haskell Compiler Service(HCS)资源汇集

Compiler.png

开发者

Haskell & GHC 核心开发者

.NET

.NET 的集成和互操作

类型系统

这里包含类型、数据、结构、算法等软件包,Haskell 主要使用 data 与 newtype 关键字来定义新的数据类型。Type systems are an example of lightweight formal methods(形式化方法)。

包管理

Darcs 版本控制系统

cabal-install 支持多个 Haskell 编译器,而 ghc-pkg 仅用于 GHC。

  • Nix 是一个包管理器,它管理的包环境可信赖、可重现,可原子地执行升级与回滚,在这基础上又有了基于包管理的操作系统 NixOS
  • haskell.nix 用 Nix 构建 Haskell 包的基础设施,haskell.nix 可以自动将 Cabal 或 Stack 项目及其依赖项转化成 Nix 代码。
  • The Aura Package Manager
  • Darcs 版本控制系统
  • hpack 一种现代的 Haskell 包格式

插件模块化

  • polysemy 是一个用于编写高复用领域特定语言(DSL)的库。polysemy 允许将业务逻辑与实现细节分开,这样一来,就把实现代码变成可重用的库代码。Reasonably Polymorphic

DevOps

代码测试、代码质量、静态分析、代码安全、GitlabDevOps ...

桌面IDE

图形GUI

REST API

  • Hasura GraphQL Engine
  • Haxl is a Haskell library that simplifies access to remote data, such as databases or web-based services.

Web应用

Servant

eLearning

网络系统

Haskus-System.png

网络、服务器、系统编程

数据科学

Jupyter-haskell.png
ArrayFire.png

金融交易

  • Haskell in Production
  • hledger 是开源跨平台会计软件,适合刚接触会计的人,也适合强大的用户。它适合追踪金钱、时间、投资、加密货币、库存等,具有高度的准确性、灵活性和隐私性,它是纯文本会计的最佳实现之一。
  • Adjoint 为跨国企业实现了现金和结算流程的数字化

人工智能

Haskell Brain
Grammatical Framework
Haskell OpenCV

人工智能, 机器学习, 深度学习, 神经网络, NLP, NLU, 机器翻译 in Haskell

数学物理

并发并行

Accelerate

并行、并发、异步以及分布式、云计算、actor model

音乐视频

游戏

Fungen.gif

移动App

实时嵌入式

  • Ivory is an embedded domain specific language (EDSL)
  • Copilot Stream DSL for hard real-time runtime verification

安全密码学

Cryptol

区块链

Cardano

FRP流计算

大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。

数据库存储

PostgREST
Postgrest-request-flow.png

Databases and Persistence

操作系统

Operating System

机器人

硬件芯片

涉及 proof assistant、软硬件规范、形式化语言、定理验证等领域 Formal-Verification.png

Corespec.png

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱