echaozh

cppa-raft

Raft implementation based on libcppa

harp-blog

Personal blog with Harp and Jade.

luapp

wrapper to ease embedding lua in cpp programs

mysqlcp

mysql connection pool, zmq interface

echonf

configuration library, parses lists and urls in config

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

2048

A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)

aria2

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, BitTorrent and Metalink.

ceph

Ceph is a distributed object, block, and file storage platform

cosmere-games

games based on cosmere, which rocks!

docker-shipyard-db

Shipyard Database Docker Repo

docker-shipyard-lb

Shipyard LB Docker Repo

docker-shipyard-router

Shipyard App Router Docker Repo

echaozh.github.io

Personal home

grunt-init

Generate project scaffolding from a template.

harbor

docker control in haskell

hellno

A somewhat different approach to cabal hell problem.

hs-webdriver

A Haskell client for the Selenium WebDriver protocol.

klee

KLEE Symbolic Virtual Machine

mahjong-hand-guessing-game

A Mahjong hand guessing game made using React, Typescript, and Tailwind

mother-goose

service graceful reloader in go, may be expanded to a full supervisor

scrap-your-markup

A free monad for describing UIs.

shipyard

Docker Management

shipyard-agent

Shipyard Agent

shipyard-deploy

Shipyard Deployment

slides

my slide collection

stp

Simple Theorem Prover.

taveren

luapp based string expansion

terraform

A foolproof asset pipeline (built for the Harp Asset Pipeline Framework).

wreq