欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Haskell Web Foundation
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→项目) |
||
| 第23行: | 第23行: | ||
*[[PureScript]] | *[[PureScript]] | ||
*[[IHP]] | *[[IHP]] | ||
| − | *[https://github.com/yesodweb Yesod Web Framework] [https://github.com/yesodweb/wai Haskell Web Application Interface (WAI)] | + | *[https://github.com/yesodweb Yesod Web Framework] [https://github.com/yesodweb/wai Haskell Web Application Interface (WAI)] [https://aosabook.org/en/v2/yesod.html The Architecture of Open Source Applications (Volume 2) Yesod] |
*[https://github.com/snapframework Snap] A Haskell Web Framework | *[https://github.com/snapframework Snap] A Haskell Web Framework | ||
*[https://github.com/jaspervdj/hakyll hakyll] A static website compiler library in Haskell | *[https://github.com/jaspervdj/hakyll hakyll] A static website compiler library in Haskell | ||
2024年12月28日 (六) 03:58的版本
Haskell Web Foundation
目录 |
简介
Elm: Functional Frontend + Haskell: Functional Backend
功能
组成一个支持 actor model 的 Haskell Actor World.
指南
项目
- Haskell Web
- Nginx Haskell module Nginx module for binding Haskell
- servant A Type-Level Web DSL
- three-layer Architecture of the Haskell web applications with Haskell on backend and Elm on frontend.
- Elm
- PureScript
- IHP
- Yesod Web Framework Haskell Web Application Interface (WAI) The Architecture of Open Source Applications (Volume 2) Yesod
- Snap A Haskell Web Framework
- hakyll A static website compiler library in Haskell
- yst static websites from YAML and string templates
- Pandoc a universal document converter
- BlazeHtml 是一个库,旨在成为使用 Haskell 生成 HTML 的最快方式。
- HaTeX The Haskell LaTeX library.
- Gitit A wiki using HAppS, pandoc, and git
- miso A tasty Haskell front-end framework
图集
链接
分享您的观点


