godel (Go Dataflow Execution Language) is a dataflow language based on
a novel computational paradigm called "propagation networks".
Propagation networks propose a shift in the foundation of computation,
by moving away from rigid, time-bound expression-evaluation computation
paradigm to a more general-purpose propagation-oriented paradigm where
information flow is multidirectional.
Programs are written by charting them out as propagation networks,
as computational modules that can be arranged in parallel or in series,
much like elements in an electric circuit.
godel is (quite evidently) named after the great mathematician and
philosopher Kurt Gödel, who challenged the very foundations of mathematics
(and consequently, computing) through his incompleteness theorems.
Computing, Sudoku Style!
Alexey Radul's thesis