EDEN (Engine for DEfinitive Notations) is an environment for for a form of programming called Empirical Modelling. Empirical Modelling is a novel approach to computing that encourages the construction of models based on the principles of Observation, Dependency and Agency. One of the principal interests is how spreadsheet modelling can be generalised into full-strength programming systems. The main software tool is tkeden, an interpreter for the EDEN modelling language that features the ability to create context specific programming notations.
There is also a distributed version using a Tcl-based server and a Tkhtml-based client.