vreeze

Pinned Repositories

eboy
A Gameboy emulator for Emacs
Language:Emacs Lisp439 7 29
mcrl2-mode
An Emacs major mode to edit and analyse mCRL2 specifications using the mCRL2 toolset.
Language:Emacs Lisp0 2 00
zone-matrix-wake-up
The Matrix wake up scene as an Emacs zone/screen saver
Language:Emacs Lisp91

vreeze's Repositories

vreeze/eboy
A Gameboy emulator for Emacs
Language:Emacs Lisp439 7 29
vreeze/zone-matrix-wake-up
The Matrix wake up scene as an Emacs zone/screen saver
Language:Emacs Lisp91
vreeze/mcrl2-mode
An Emacs major mode to edit and analyse mCRL2 specifications using the mCRL2 toolset.
Language:Emacs Lisp0 2 00