lpeterse/haskell-paxos

Stars
1
Language
Haskell
License
Other
Created almost 9 years ago
Updated almost 9 years ago

lpeterse/haskell-paxos

lpeterse

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

haskell-socket

A Haskell binding to the POSIX sockets API

haskell-mqtt

An MQTT protocol implementation (client and server)

haskell-hummingbird

Multi-threaded MQTT broker written in Haskell.

haskell-terminal

Haskell library for terminal interaction (without terminfo dependency but with Windows support)

koka

A function-oriented language with effect inference

haskell-ssh

An SSH implemenation in pure Haskell

HiggsSet

A multi-index set with advanced query capabilities

shellfish

A pure Rust SSH implementation

haskell-replique

Replique is a high-level REPL library for building command line interfaces.

haskell-utc

A pragmatic time and date library (Haskell)

typeable

(unmaintained/historical) Typeable aims to be a collection of Haskell's algebraic datatypes and is able to generate code for various purposes.

uuid-quasi

Haskell library for constant UUIDs in source code using quasi quotation

binary-generic

Haskell package making it easy to serialize any kind of data with the binary package. Just derive 'Data' and you're done!

haskell-libssh

A Haskell binding to the server part of libssh.

haskell-socket-sctp

STCP socket extensions library.

haskell-networking

snaplet-recaptcha

A ReCaptcha snaplet with connection sharing.

lmp

Lars' multiprecision integer library

aeson-canonical

(proof of concept) A more canonical TH derivation mechanism for Haskell types to JSON

crprover

(unmaintaned/historical) A prover for propositional logic in a sequence calculus written in Haskell

ebf

(currently unmaintained) library for binary serialization

snaplet-persistence

(unmaintained/historical) A pure-haskell persistence layer for Snap applications using STM.