kansas-lava-cores (hackage): Kansas Lava Cores is a collection of libraries, written in Kansas Lava, that describe specific hardware components, as well as a Spartan3e board monad and simulator, and testing framework.
Keywords: bsd3|hardware|library