Stevan A

armstrong-distributed-systems. Notes on how we potentially could build reliable, scalable and maintainable computer systems.

elastically-scalable-thread-pools. An experiment in controlling the size of a thread pool using a PID controller.

property-based-testing-stateful-systems-tutorial. A tutorial about how to apply property-based testing to stateful systems.

cocktails. Cocktail database

hot-swapping-state-machines. An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.

quickcheck-state-machine. Test monadic programs using state machine based models

pipelined-state-machines. An experiment in declaratively programming parallel pipelines of state machines.

svg-viewer-in-svg. SVG viewer in SVG

bits-and-bobs. Bit-level codec library

coroutine-state-machines. State machines with async I/O capabilities

stateful-pbt-with-fakes. Haskell

pipelining-with-disruptor. Experiment in creating parallel pipelines using the Disruptor.

supervised-state-machines. An experimental implementation of Erlang/OTP's gen_server and supervisor behaviours that doesn't use lightweight threads and message passing.

scheduled-pipelines. Haskell

recipes-graph. Haskell

smarrow-lang. Experimental programming language where programs are state machines expressed in arrow notation

haarss. A terminal based feed reader written in Haskell.

stevana.github.io. Haskell

recipes. Recipe database

ldfi-prolog. Lineage-driven fault injection in Prolog

hot-swapping-state-machines2. Experiment with hot swapping pipelined state machines

deterministic-scheduler. Parallel property-based testing with a deterministic thread scheduler

coverage-guided-pbt. Haskell