欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Haskell Desktop Foundation
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→项目) |
||
第22行: | 第22行: | ||
==项目== | ==项目== | ||
*[https://mpickering.github.io/ide/posts/2020-05-08-state-of-haskell-ide.html The State of Haskell IDEs] | *[https://mpickering.github.io/ide/posts/2020-05-08-state-of-haskell-ide.html The State of Haskell IDEs] | ||
+ | *[https://github.com/lamdu/lamdu lamdu] towards the next generation IDE | ||
*[https://github.com/lettier/gifcurry Gifcurry] Haskell-built video editor for GIF makers. [https://codeburst.io/how-to-build-a-custom-gtk-widget-with-haskell-eaff04a6262 How To Build A Custom GTK Widget With Haskell] | *[https://github.com/lettier/gifcurry Gifcurry] Haskell-built video editor for GIF makers. [https://codeburst.io/how-to-build-a-custom-gtk-widget-with-haskell-eaff04a6262 How To Build A Custom GTK Widget With Haskell] | ||
*[https://xmonad.org/ XMonad] | *[https://xmonad.org/ XMonad] |
2021年12月16日 (四) 12:16的版本
Haskell Desktop Foundation
目录 |
简介
Functional Desktop/IDE/Editor Stack, powered by Haskell and GTK.
一个 Haskell 桌面应用生态系统。
功能
指南
应用
- Carp 是一种旨在为互动和性能应用(如:游戏、语音视频、声音合成和可视化)提供良好支持的编程语言。Carp 是一个静态类型的 Lisp,没有 GC,用于实时应用。Carp 借鉴了 Clojure 的表达方式,和 Clojure 很像,其运行时语义更接近 ML 或 Rust。
- 桌面生产力工具
- 视频编辑器
- 2D/3D 图形和模型构建
- 游戏引擎
- 写作出版系统
- 数据可视化
项目
- The State of Haskell IDEs
- lamdu towards the next generation IDE
- Gifcurry Haskell-built video editor for GIF makers. How To Build A Custom GTK Widget With Haskell
- XMonad
- ImplicitCAD
- Leksah Haskell IDE
- Yi The Haskell-Scriptable Editor
- Haskell IDE Engine (HIE) 已存档
- lsp Haskell Language Server (LSP)
- Gtk2Hs
- haskell-gi
- Xiphos using GTK and Scheme.
- gi-gtk-declarative Haskell 声明式 GTK+ 编程
- webviewhs Haskell binding to the webview
- Glance A visual Haskell
- λsudoku A native GTK sudoku game written in Haskell
- HSFM FileManager written in haskell
OpenGL
- Haskell OpenGL OpenGL @ Haskell
- OpenGLRaw contains a low-level wrapper around OpenGL, which is basically a 1:1 mapping of the C API.
- GLURaw is similar to OpenGLRaw, just for the GLU part of OpenGL.
- OpenGL is the high-level view on OpenGL, wrapping OpenGLRaw into something more Haskell-like.
- GLUT is a binding for the OpenGL Utility Toolkit.
游戏
Haskell Game Foundation (HGF)
- Yampa Yampa @ Haskell
- apecs is an Entity Component System (ECS) library for game development.
- HGamer3D
- Frag a Haskell FPS
- LambdaCube 3D Connecting Yampa with LambdaCube-Engine
问题
Exception: user error (unknown GLUT entry glutInit)
https://github.com/haskell-opengl/GLUT
图集
链接
分享您的观点