a small core for append-only log based programs - View it on GitHub