Домен-специфический язык (DSL) для выражения аппаратно-ориентированных описаний вычислений.

Канзасская лава - это доменспецифический язык (DSL) для выражения аппаратно-ориентированных описаний вычислений, который размещен на языке Haskell.

Более подробная информация доступна здесь.