Giters
mofaph

mofaph

Geek Repo

59

followers

6

following

115

stars

Github PK Tool:Github PK Tool

mofaph's repositories

csapp

Computer Systems: A Programmer's Perspective

Language:CStargazers:476Issues:34Issues:0

emacs-mofaph

.emacs.d

Language:Emacs LispStargazers:3Issues:2Issues:0

mofaph.github.io

Blog article

Language:CSSStargazers:3Issues:3Issues:0

Examples

A collection of TLA+ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:0Issues:2Issues:0

learning-tools

A collection of tools and files for learning new technologies

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

raft.tla

TLA+ specification for the Raft consensus algorithm

Language:TLAStargazers:0Issues:2Issues:0