Pinned Repositories
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
chocan
coma
``Conference manager tool'' Coma (Programming in the many project, winter semester 2004/05)
enigma
Enigma-reloaded, software project in winter semester 2004/05
mist
Mist software project (Model-checking environment for state-transition systems) for ``programming-in-the-many'', Summer semester 2000
osbert
pest
Pest software project (Programming Environment for Statecharts), software project winter semester 1998/99
scheme-listings
Scheme syntax highlighting for the LaTeX listings package.
slime
Sequential Function Chart Modelling Environment (Slime), Programming-in-the-many-project summer semester 2002
smile
Smile software project winter semester 2006/2007
MartinSteffen's Repositories
MartinSteffen/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
MartinSteffen/chocan
MartinSteffen/coma
``Conference manager tool'' Coma (Programming in the many project, winter semester 2004/05)
MartinSteffen/enigma
Enigma-reloaded, software project in winter semester 2004/05
MartinSteffen/mist
Mist software project (Model-checking environment for state-transition systems) for ``programming-in-the-many'', Summer semester 2000
MartinSteffen/osbert
MartinSteffen/pest
Pest software project (Programming Environment for Statecharts), software project winter semester 1998/99
MartinSteffen/scheme-listings
Scheme syntax highlighting for the LaTeX listings package.
MartinSteffen/slime
Sequential Function Chart Modelling Environment (Slime), Programming-in-the-many-project summer semester 2002
MartinSteffen/smile
Smile software project winter semester 2006/2007
MartinSteffen/snot
Snot (Sequential Function Chart Modelling Tool), software projects programming-in-the-many, summer semester 2001
MartinSteffen/tiny