MiaoYang 's repositories
typed-ptr
Trying to track a sea of ptr on a type
typed-session
https://hackage.haskell.org/package/typed-session
typed-session-state-algorithm
Automatically generate status for typed-session.
How-to-use-typed-session
How to use typed-session
typed-session-tutorial
typed-session-tutorial
typed-gui
GUI framework based on typed-fsm
threepenny-gui
GUI framework that uses the web browser as a display.
FULE
Functional UI Layout Engine
miso
:ramen: A tasty Haskell front-end framework
HaGL
Haskell-embedded OpenGL
fused-effects
A fast, flexible, fused effect system for Haskell
io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
dui
think of streaming process and gui framework
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
typed-protocols-i
improve typed-protocols
hs-opt-handbook.github.io
The Haskell Optimization Handbook
egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
dependent-map
Dependently-typed finite maps (partial dependent products)
monomer
An easy to use, cross platform, GUI library for writing Haskell applications.
fused-effects-optics
Optics combinators for fused-effects.
new-genserver
new genserver impl
emqx
An Open-Source, Cloud-Native, Distributed MQTT Message Broker for IoT.