Pinned Repositories
bnfc
BNF Converter
CoreErlang
AST, parser, pretty-printer for Core Erlang source code.
dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
documentation
Documentation of Hamler
fused-effects-process
fused-effects + GenServer + LinearType + IOSim = COOL!!
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
hraft
haskell impl raft
work0
eval work0
sdzx-1's Repositories
sdzx-1/fused-effects-process
fused-effects + GenServer + LinearType + IOSim = COOL!!
sdzx-1/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
sdzx-1/hraft
haskell impl raft
sdzx-1/dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
sdzx-1/dui
think of streaming process and gui framework
sdzx-1/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
sdzx-1/emqx
An Open-Source, Cloud-Native, Distributed MQTT Message Broker for IoT.
sdzx-1/emqx-docs
EMQ X Broker Documentation
sdzx-1/emqx-rule-engine
EMQ X Rule Engine
sdzx-1/fused-effects
A fast, flexible, fused effect system for Haskell
sdzx-1/fused-effects-optics
Optics combinators for fused-effects.
sdzx-1/ghcup
ghcup
sdzx-1/HaGL
Haskell-embedded OpenGL
sdzx-1/haskell-gen-server
haskell impl erlang gen_server
sdzx-1/hocon
HOCON configuration Parser for Erlang/OTP
sdzx-1/hs-opt-handbook.github.io
The Haskell Optimization Handbook
sdzx-1/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
sdzx-1/learnErlang
learn erlang syntax
sdzx-1/mongodb-erlang
MongoDB driver for Erlang
sdzx-1/monomer
An easy to use, cross platform, GUI library for writing Haskell applications.
sdzx-1/new-genserver
new genserver impl
sdzx-1/quickcheck-state-machine
Test monadic programs using state machine based models
sdzx-1/SlayTheSpire
sdzx-1/slowExample
sdzx-1/spider
spider
sdzx-1/t-server
sdzx-1/typed-protocols-i
improve typed-protocols
sdzx-1/workflow
haskell workflow
sdzx-1/xml-lens
Lenses and traversals for xml-conduit
sdzx-1/Yampa-Front
Yampa-Front