Pieter de Vreeze's repositories
zone-matrix-wake-up
The Matrix wake up scene as an Emacs zone/screen saver
mcrl2-mode
An Emacs major mode to edit and analyse mCRL2 specifications using the mCRL2 toolset.
The Matrix wake up scene as an Emacs zone/screen saver
An Emacs major mode to edit and analyse mCRL2 specifications using the mCRL2 toolset.