Skip to content
This repository
tree: 1b3a0d9f26
Fetching contributors…

Cannot retrieve contributors at this time

file 63 lines (48 sloc) 1.777 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
name: atom
version: 1.0.9

category: Language, Embedded

synopsis: A DSL for embedded hard realtime applications.

description:
    Atom is a Haskell DSL for designing hard realtime embedded software.
    Based on guarded atomic actions (similar to STM), Atom enables
    highly concurrent programming without the need for mutex locking.

    In addition, Atom performs compile-time task scheduling and generates code
    with deterministic execution time and constant memory use, simplifying the
    process of timing verification and memory consumption in hard realtime applications.

    Without mutex locking and run-time task scheduling, Atom eliminates
    the need and overhead of RTOSs for many embedded applications.

author: Tom Hawkins <tomahawkins@gmail.com>
maintainer: Tom Hawkins <tomahawkins@gmail.com>, Lee Pike <leepike@gmail.com>

license: BSD3
license-file: LICENSE

homepage: http://tomahawkins.org

build-type: Simple
cabal-version: >= 1.6

extra-source-files:
  RELEASE-NOTES

library
    build-depends:
        base >= 4.0 && < 5,
        mtl >= 1.1.0.1,
        process >= 1.0.1.1 && < 1.2,
        syb >= 0.1.0.0,
        containers >= 0.4,
        bimap >= 0.2.4

    exposed-modules:
        Language.Atom
        Language.Atom.Analysis
        Language.Atom.Code
        Language.Atom.Common
        Language.Atom.Compile
        Language.Atom.Elaboration
        Language.Atom.Example
        Language.Atom.Expressions
        Language.Atom.Language
        Language.Atom.Scheduling
        Language.Atom.Unit
        Language.Atom.UeMap

    extensions: GADTs, DeriveDataTypeable

    ghc-options: -Wall

source-repository head
    type: git
    location: git://github.com/tomahawkins/atom.git
Something went wrong with that request. Please try again.