Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Embedded packages

Showing projects tagged as Embedded

  • atom

    9.7 0.0 Haskell
    An EDSL for embedded hard realtime applications.
  • copilot

    9.4 0.0 Haskell
    A stream DSL for writing embedded C programs.
  • sunroof-compiler

    9.3 0.0 Haskell
    Monadic Javascript Compiler
  • ImperativeHaskell

    8.5 0.0 Haskell
    A library for writing Imperative style haskell.
  • improve

    8.5 0.0 Haskell
    An imperative, verifiable programming language for high assurance applications.
  • sunroof-examples

    8.5 0.0 Haskell
    Tests for Sunroof
  • sunroof-server

    8.4 0.0 Haskell
    Monadic Javascript Compiler - Server Utilities
  • ecu

    8.0 0.0 Haskell
    Tools for automotive ECU development.
  • verilog

    7.9 0.0 Haskell
    Verilog preprocessor, parser, and AST.
  • copilot-language

    6.8 0.0 Haskell
    A Haskell-embedded DSL for monitoring hard real-time distributed systems.
  • ion

    6.6 0.0 Haskell
    EDSL for concurrent, realtime, embedded programming on top of Ivory
  • atom-msp430

    6.1 0.0 Haskell
    Convenience functions for using Atom with the MSP430 microcontroller family.
  • copilot-libraries

    5.4 0.0 Haskell
    Libraries for the Copilot language.
  • copilot-sbv

    5.4 0.0 Haskell
    A compiler for CoPilot targeting SBV.
  • copilot-core

    4.9 0.0 Haskell
    An intermediate representation for Copilot.
  • copilot-cbmc

    4.7 0.0 Haskell
    Copilot interface to a C model-checker.
  • copilot-c99

    3.7 0.0 Haskell
    A compiler for Copilot targeting C99.
  • vcd

    3.7 2.6 Haskell
    Reading and writing VCD files.
  • fault-tree

    3.4 0.0 Haskell
    A fault tree analysis library.
  • processor-creative-kit

    3.4 0.0 Haskell
    a creation kit for instruction sets and cpu simulators and development tools
  • CarneadesDSL

    2.6 0.0 Haskell
    An implementation and DSL for the Carneades argumentation model.
  • srec

    1.8 0.0 Haskell
    Parsing and processing s-records.
  • perfect-hash-generator

    1.1 1.0 Haskell
    Perfect minimal hashing implementation in native Haskell