The kansas-lava-cores package

[Tags:bsd3, library]

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.

[Skip to Readme]


Versions 0.1.2,,
Dependencies ansi-terminal (>=0.5.5), base (==4.*), bytestring, cmdargs, data-default, directory, filepath, kansas-lava (>= && <0.2.5), network, random, sized-types (>=0.3.4) [details]
License BSD3
Copyright (c) 2011 The University of Kansas
Author Andy Gill
Maintainer Andy Gill <>
Category Hardware
Home page
Source repository head: git clone git://
this: git clone git:// -b kansas-lava-cores-0.1.2(tag
Uploaded Fri Jun 19 10:37:01 UTC 2015 by GergoErdi
Distributions NixOS:
Downloads 561 total (3 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2015-06-19 [all 1 reports]
Hackage Matrix CI




allEnable full development treeDisabledAutomatic
unitEnable unit tests for every coreDisabledAutomatic
spartan3eEnable demo spartan3 programDisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees

Readme for kansas-lava-cores

Readme for kansas-lava-cores-

FPGA Cores Written in Kansas Lava, including testing frameworks.