The atom package

[Tags:bsd3, library]

Atom is a Haskell DSL for designing hard realtime embedded programs. Based on conditional term rewriting, atom will compile a collection of atomic state transition rules to a C program with constant memory use and deterministic execution time.

Properties

Versions 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.5, 1.0.6, 1.0.7, 1.0.8, 1.0.9, 1.0.10, 1.0.11, 1.0.12, 1.0.13
Dependencies base (==4.*), mtl (>=1.1.0.1 && <1.2), process (>=1.0.1.1 && <1.2), yices (>=0.0.0.4) [details]
License BSD3
Author Tom Hawkins <tomahawkins@gmail.com>
Maintainer Tom Hawkins <tomahawkins@gmail.com>
Stability Unknown
Category Language
Home page http://tomahawkins.org
Source repository head: darcs get http://patch-tag.com/r/tomahawkins/atom/pullrepo
Uploaded Wed Nov 25 20:32:53 UTC 2009 by TomHawkins
Distributions NixOS:1.0.13
Downloads 6849 total (84 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees