MiaoYang 's repositories

typed-fsm

typed finite-state machine

Language:HaskellLicense:MITStargazers:11Issues:1Issues:4

typed-communication-protocol

typed communication protocol

Language:HaskellLicense:MITStargazers:6Issues:0Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:1Issues:0Issues:0

hraft

haskell impl raft

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

communication-protocol-state-algorithm

Automatically generate status for typed-communication-protocol.

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

dear-imgui.hs

Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

dependent-map

Dependently-typed finite maps (partial dependent products)

License:NOASSERTIONStargazers:0Issues:0Issues:0

dui

think of streaming process and gui framework

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

License:Apache-2.0Stargazers:0Issues:0Issues:0

emqx

An Open-Source, Cloud-Native, Distributed MQTT Message Broker for IoT.

Language:ErlangLicense:NOASSERTIONStargazers:0Issues:0Issues:0

emqx-docs

EMQ X Broker Documentation

Language:PythonStargazers:0Issues:0Issues:0

emqx-rule-engine

EMQ X Rule Engine

License:Apache-2.0Stargazers:0Issues:0Issues:0

fused-effects

A fast, flexible, fused effect system for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

fused-effects-optics

Optics combinators for fused-effects.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

HaGL

Haskell-embedded OpenGL

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

hocon

HOCON configuration Parser for Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hs-opt-handbook.github.io

The Haskell Optimization Handbook

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mongodb-erlang

MongoDB driver for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

new-genserver

new genserver impl

Language:HaskellStargazers:0Issues:1Issues:0
Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

typed-protocols-i

improve typed-protocols

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

workflow

haskell workflow

Language:HaskellStargazers:0Issues:1Issues:0

xml-lens

Lenses and traversals for xml-conduit

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Yampa-Front

Yampa-Front

Language:HaskellStargazers:0Issues:0Issues:0