Sunday, November 6, 2011

Kansas Lava

We are please to announce the first release of Kansas Lava, as well as the first release of Kansas Lava Cores.

Kansas Lava is Haskell library for simulating hardware and generating VHDL, in the spirit of Chalmers Lava and Xilinx Lava. We make extensive use of associated type functions, and other GHC extensions.

Kansas Cores are a set of libraries that use Kansas Lava to various build hardware components like UARTs and an LCD driver, as well as a monad and simulator for the Spartan3e.

Both are now available on hackage.

Kansas Lava has various online resources. The Kansas Lava webpage is
http://ittc.ku.edu/csdl/fpg/Tools/KansasLava


A video walkthrough of our tutorial has been started, and is available on youtube.

http://www.youtube.com/playlist?list=PL211F8711E3B3DF9C


The website for the functional programming group at KU is

http://ittc.ku.edu/csdl/fpg/Home



Kansas Lava Team @ KU