mofaph

Pinned Repositories

zlog
A reliable, high-performance, thread safe, flexsible, clear-model, pure C logging library.
Language:C2.1k 133 183677
csapp
Computer Systems: A Programmer's Perspective
Language:C473 34 0169
emacs-mofaph
.emacs.d
Language:Emacs Lisp3 2 03
Examples
A collection of TLA+ specifications of varying complexities
Language:TLA0 2 00
learning-tools
A collection of tools and files for learning new technologies
Language:Ruby0 2 00
mofaph.github.io
Blog article
Language:CSS3 3 00
raft.tla
TLA+ specification for the Raft consensus algorithm
Language:TLA0 2 00

mofaph's Repositories

mofaph/csapp
Computer Systems: A Programmer's Perspective
Language:C473 34 0169
mofaph/emacs-mofaph
.emacs.d
Language:Emacs Lisp3 2 03
mofaph/mofaph.github.io
Blog article
Language:CSS3 3 00
mofaph/Examples
A collection of TLA+ specifications of varying complexities
Language:TLA0 2 00
mofaph/learning-tools
A collection of tools and files for learning new technologies
Language:Ruby0 2 00
mofaph/raft.tla
TLA+ specification for the Raft consensus algorithm
Language:TLA0 2 00