Beast code in Giters

Martin Steffen's repositories

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT000

Language:Java000

``Conference manager tool'' Coma (Programming in the many project, winter semester 2004/05)

Language:PHP000

Enigma-reloaded, software project in winter semester 2004/05

Language:Java020

Mist software project (Model-checking environment for state-transition systems) for ``programming-in-the-many'', Summer semester 2000

Language:Java000

Language:Java020

Pest software project (Programming Environment for Statecharts), software project winter semester 1998/99

Language:HTML000

Scheme syntax highlighting for the LaTeX listings package.

Language:TeX000

Sequential Function Chart Modelling Environment (Slime), Programming-in-the-many-project summer semester 2002

Language:Java010

Smile software project winter semester 2006/2007

Language:Java000

Snot (Sequential Function Chart Modelling Tool), software projects programming-in-the-many, summer semester 2001

Language:Java010

Language:Go000