ivory: Safe embedded C programming.

[ bsd3, language, library ] [ Propose Tags ]

Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness.

Modules

[Index]

Ivory
- Ivory.Language

Downloads

ivory-0.1.0.3.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

EricMertens, LeePike

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0, 0.1.0.3, 0.1.0.4, 0.1.0.5, 0.1.0.6, 0.1.0.7, 0.1.0.8, 0.1.0.9
Dependencies	array, base (>=4.7 && <5), base-compat, containers (>=0.5), dlist (>=0.5), filepath, monadLib (>=3.7), pretty (>=1.1), template-haskell (>=2.8 && <2.11), text, th-lift (>=0.5.5) [details]
License	BSD-3-Clause
Author	Galois, Inc.
Maintainer	trevor@galois.com
Revised	Revision 1 made by HerbertValerioRiedel at 2016-10-17T14:07:17Z
Category	Language
Home page	http://smaccmpilot.org/languages/ivory-introduction.html
Source repo	this: git clone https://github.com/GaloisInc/ivory(tag hackage-0100)
Uploaded	by LeePike at 2016-04-05T15:48:45Z
Distributions
Reverse Dependencies	11 direct, 0 indirect [details]
Downloads	6089 total (28 in the last 30 days)
Rating	2.25 (votes: 2) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2016-04-05 [all 1 reports]