Stevan A's repositories
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.
svg-viewer-in-svg
SVG viewer in SVG
bits-and-bobs
Bit-level codec library
hot-swapping-state-machines
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
pipelined-state-machines
An experiment in declaratively programming parallel pipelines of state machines.
coroutine-state-machines
State machines with async I/O capabilities
quickcheck-state-machine
Test monadic programs using state machine based models
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.
hot-swapping-state-machines2
Experiment with hot swapping pipelined state machines
rules_graal
Bazel rules to make JVM binaries into native binaries
detsys-testkit
A test kit for fast and deterministic system tests.
doctemplates
Pandoc-compatible templating system
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
property-based-testing-stateful-systems
A tutorial about how to apply property-based testing to stateful systems.
rules_haskell
Haskell rules for Bazel.
rules_nixpkgs
Rules for importing Nixpkgs packages into Bazel.
smarrow-lang
Experimental programming language where programs are state machines expressed in arrow notation